Другие логические операции
Таблицы истинности операций с двумя переменными содержат 4 строки и отличаются только значением последнего столбца. Поэтому любая новая комбинация нулей и единиц в этом столбце даёт новую логическую операцию (логическую функцию). Всего их, очевидно, столько, сколько существует четырёхразрядных двоичных чисел, т. е. 16 = 24. Из тех операций, которые мы ещё не рассматривали, наиболее интересны две — штрих Шеффера («И-НЕ», англ, nand — «not and», рис. 3.10):
А | В = А • B
и стрелка Пирса («ИЛИ-HE», англ, пог — «not ог», рис. 3.11):
А ↓ В = А + B.
Рис. 3.10 и Рис. 3.11
Особенность этих операций состоит в том, что с помощью любой одной из них можно записать произвольную логическую операцию. Например, операции «НЕ», «И» и «ИЛИ» (базовый набор) выражаются через штрих Шеффера так:
Эти равенства можно доказать через таблицы истинности.
Следующая страница Логические выражения