Логические операции

Вид операции	Аналитическая форма	Буквенная форма	Условная (графическая)	Таблица истинности	Контактная форма
Дизъюнкция (логическое сложение)		ИЛИ
Конъюнкция (логическое умножение)		И
Инверсия (логическое отрицание)		НЕ
Функция (стрелка) Пирса		ИЛИ-НЕ
Функция (штрих) Шеффера		И-НЕ

Аксиомы (правила) алгебры логики:

дизъюнкции:

конъюнкции:

инверсии:

Законы алгебры логики:

переместительный:

x+y=y+x, xy=yx;

сочетательный:

x+y+z=(x+y)+z=x+(y+z), xyz= (xy)z=x(y+z);

распределительный:

x(y+z)=xy+xz, (x+y)(x+z)=x+yz;

инверсии:

77