ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ
В алгебре логики выполняются следующие основные законы, позволяющие производить тождественные преобразования логических выражений : 
Закон 	Для   ИЛИ 	Для   И 	
Переместительный 			
Сочетательный 			
Распределительный 			
Правила де Моргана 			
Идемпотенции 			
Поглощения 			
Склеивания 			
Операция переменной с ее инверсией 			
Операция с константами 			
Двойного отрицания