Двойное отрицание

Идемпотентность (тавтология)

Дистрибутивность дизъюнкции относительно конъюнкции

Дистрибутивность конъюнкции относительно дизъюнкции

Коммутативность

Ассоциативность

Эквивалентные преобразования булевых функций

В дальнейшем формулы, содержащие только переменные, скобки, операции конъюнкции, дизъюнкции и инверсии будем называть булевыми формулами.

Рассмотрим основные свойства логических операций.

х₁(х₂ х₃) = (х₁х₂)х₃;

х₁Ú (х₂ Ú х₃) = (х₁Ú х₂) Ú х₃.

х₁ х₂ = х₂ х₁

х₁Ú х₂ = х₂Ú х₁

х₁ (х₂ Ú х₃) = х₁х₂Ú х₁х₃.

х₁ Ú(х₂ × х₃) = (х₁Úх₂) × (х₁Úх₃).^*

x & x = x

x Ú x = x