Функции двух аргументов

Аргументы	Наборы аргументов	Аналитическая запись функции	Название функции	Представление ФАЛ двух аргументов в СДНФ
х 1 х 2	0 0 1 1 0 1 0 1
f 0	0 0 0 0		Константа нуля	–
f 1	0 0 0 1		Конъюнкция (логическое произведение)
f 2	0 0 1 0		Отрицание импликации от х 1 к х 2
f 3	0 0 1 1		Повторение аргумента х 1
f 4	0 1 0 0		Отрицание импликации от х 2 к х 1
f 5	0 1 0 1		Повторение аргумента
f 6	0 1 1 0		Неравнозначность
f 7	0 1 1 1		Дизъюнкция
f 8	1 0 0 0		Отрицание дизъюнкции
f 9	1 0 0 1	~	Равнозначность
f 10	1 0 1 0		Отрицание аргумента х 2
f 11	1 0 1 1		Импликация от х 2 к х 1
f 12	1 1 0 0		Отрицание аргумента х 1
f 13	1 1 0 1		Импликация от х 1 к х 2

f 14	1 1 1 0		Отрицание конъюнкции
f 15	1 1 1 1		Константа единицы	–

Из 16-ти функций двух аргументов необходимо глубоко разобраться и усвоить те функции, на базе которых построены и широко используются логические элементы «И», «ИЛИ», «НЕ», «И-НЕ», «ИЛИ-НЕ».

Логический элемент «И» представляет собой техническую реализацию функции алгебры логики двух аргументов, которая называется конъюнкцией или логическим произведением двух аргументов. Таблица истинности данной функции имеет вид

Таблица 1.7.