Комбинаторы — это просто!: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 241:
 
#<math>\mathbf{not} \equiv \mathbf C (\mathbf{C\ if\ false})\ \mathbf{true}</math>.
#<math>\mathbf{and} \equiv \mathbf B (\mathbf{CC\ false})\ \mathbf{if}</math>.
#<math>\mathbf{or} \equiv \mathbf{C\ if\ true}</math>.