Введение в логику

Бинарные логические функции

Показывать лекцию целиком

Бинарные логические функции

Бинарные функции – это функции от двух аргументов. Все основные операции, которые мы рассматривали, – конъюнкция, дизъюнкция и другие, представляют бинарные функции. Различных унарных функций, как мы видели, немного, а сколько всего бинарных функций. Их больше, но их тоже можно выписать явным образом. Различных бинарных функций всего 16. Зададим их:

Бинарные логические функции – "не интересные"
X Y F1 0 F2 1 F3 X F4 $$\neg X$$ F5 Y F6 ¬Y F7 No name F8 No name F9 No name
0 0 0 1 0 1 0 1 0 1 0
0 1 0 1 0 1 1 0 1 0 0
1 0 0 1 1 0 0 1 0 1 1
1 1 0 1 1 0 1 0 0 1 0

Функции, представленные в таблице 2, большей частью повторяют уже известные функции, а три последние редко используются и не имеют общепринятых имен.

Рассмотрим следующие восемь функций - более "популярных":

Бинарные логические функции – "популярные"
X Y F10 X Y Конъюнкция F11 X | Y Дизъюнкция F12 $$X \to Y$$ Импликация F13 $$X \equiv Y$$ Эквивалентность F14 $$X \oplus Y$$ Исключающее Или F15 $$X \uparrow Y$$ Штрих Шеффера F16 $$X \downarrow Y$$ Стрелка Пирса
0 0 0 0 1 1 0 1 1
0 1 0 1 1 0 1 1 0
1 0 0 1 0 0 1 1 0
1 1 1 1 1 1 0 0 0

Пользуясь логикой в повседневной жизни, мы используем константы, отрицание и первые пять функций таблицы 3. Смысл этих функций соответствует здравому смыслу и не нуждается в особых пояснениях. Возможно, пояснения требует импликация.

Вернуться к учебному плану