Комбинаторы — это просто!: различия между версиями
Содержимое удалено Содержимое добавлено
Vadzimzie (обсуждение | вклад) |
Vadzimzie (обсуждение | вклад) |
||
Строка 241:
#<math>\mathbf{not} \equiv \mathbf C (\mathbf{C\ if\ false})\ \mathbf{true}</math>.
#<math>\mathbf{and} \equiv \mathbf
#<math>\mathbf{or} \equiv \mathbf
Читателю предлагается самостоятельно проверить данные тождества на предмет их верности. Для этого необходимо рассмотреть таблицы истинности для перечисленных логических операций и сравнить их с традиционными таблицами истинности.
|