Для логических операций справедливы следующие закономерности:
1) Ассоциативность
2) Коммутативность
3) Дистрибутивность
Кроме коммутативного, ассоциативного и дистрибутивного законов, выделяют законы де Моргана, которые записываются следующим образом:
; .
Отметим некоторые свойства элементарных функций, применяемые при различных преобразованиях логических функций.
– правило склеивания;
– правило поглощения;