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

Количество различных ФАЛ от двух аргументов равно = 16.

Таблица 2. Элементарные функции алгебры логики

х1х2					Обозначение ФАЛ
f0					тождественный 0, const 0.
f1					х1 и х2, х1×х2, х1&х2, х1Ùх2 – конъюнкция, логическое «и»
f2					- запрет х2; х1, но не х2
f3					х1 повторение первого аргумента
f4					- запрет х1; не х1, но х2
f5					х2 повторение второго аргумента
f6					, - сложение по модулю 2, неравнозначность
f7					х1Úх2 – дизъюнкция, сумма, логическое «или»
f8					x1¯х2 – стрелка Пирса, функция Вебба, ; логическое “или-не”
f9					x1ºх2 – эквивалентность, равнозначность, тождество
f10					- отрицание, инверсия второго аргумента
f11					x2®х1 – обратная импликация
f12					- отрицание первого аргумента
f13					x1®х2 – импликация
f14					x1 | х2 – штрих Шеффера, логическое «и-не»,
f15					тождественная 1, константа 1