Функции алгебры логики (булевы функции)

Таблица 1.5.1 – Значения булевых функций

№ п/п	Значения булевых функций в зависимости от значений аргументов x и y	Обозначение функции	Название функции
	x
	y
	F0(x, y)						Константа ноль
	F1(x, y)						Конъюнкция, логическое умножение, И, &, AND
	F2(x, y)						Запрет по x, отрицание импликации
	F3(x, y)						Переменная x
	F4(x, y)						Запрет по y, отрицание импликации
	F5(x, y)						Переменная y
	F6(x, y)						Сумма по модулю 2, логическая неравнозначность, М2, XOR
	F7(x, y)						Дизъюнкция, логическое сложение, ИЛИ, OR
	F8(x, y)						Стрелка Пирса, отрицание дизъюнкции, ИЛИ-НЕ, NOT OR
	F9(x, y)						Эквивалентность
	F10(x, y)						Отрицание, инверсия y, НЕ, NOT
	F11(x, y)						Импликация от y к x
	F12(x, y)						Отрицание, инверсия x, НЕ, NOT
	F13(x, y)						Импликация от x к y
	F14(x, y)						Штрих Шеффера, отрицание конъюнкции, И-НЕ, NOT AND
	F15(x, y)						Константа единица