Основные законы алгебры логики

Закон	Для v	Для *
1 Переместительный	Х v Y = Y v X
2 Сочетательный	Х v (Y v Z) = (X v Y) v Z
3 Распределения	Х * (Y v Z) = X * Y v X*Z
4 Правило Моргана	Х v Y = Х v Y
5 Иемологии	X v X = X
6 Поглащения
7 Склеивания
8 Операция с инверсией
9 Операция с константой
10 Двойного отрицания	Х = Х