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

Тема 1.5 Основные понятия алгебры логики

Алгебра логики – это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними. Алгебра логики является теоретической основой построения электронных вычислительных машин и цифровых устройств. Логические двоичные функции получили название булевых по имени английского математика XIX в. Дж. Буля.

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

№ п/п	Значения булевых функций в зависимости от значений аргументов x и y	Обозначение функции	Название функции
	x
	y
	F 0(x, y)						Константа ноль
	F 1(x, y)						Конъюнкция, логическое умножение, И, &, AND
	F 2(x, y)						Запрет по x, отрицание импликации
	F 3(x, y)						Переменная x
	F 4(x, y)						Запрет по y, отрицание импликации
	F 5(x, y)						Переменная y
	F 6(x, y)						Сумма по модулю 2, логическая неравнозначность, М2, XOR
	F 7(x, y)						Дизъюнкция, логическое сложение, ИЛИ, OR
	F 8(x, y)						Стрелка Пирса, отрицание дизъюнкции, ИЛИ-НЕ, NOT OR
	F 9(x, y)						Эквивалентность
	F 10(x, y)						Отрицание, инверсия y, НЕ, NOT
	F 11(x, y)						Импликация от y к x
	F 12(x, y)						Отрицание, инверсия x, НЕ, NOT
	F 13(x, y)						Импликация от x к y
	F 14(x, y)						Штрих Шеффера, отрицание конъюнкции, И-НЕ, NOT AND
	F 15(x, y)						Константа единица

Дата добавления: 2015-05-08