Коммутативность (переместительный закон)
A + B = B + A
A · B = B · A
Ассоциативность (сочетательный закон)
(A + B) + C = A + (B + C)
(A · B) · C = A · (B · C)
Дистрибутивность (распределительный закон)
A · (B + C) = A·B + A·C
A + B·C = (A + B) · (A + C)
Законы де Моргана
¬(A + B) = ¬A · ¬B
¬(A · B) = ¬A + ¬B
Законы поглощения
A + A·B = A
A · (A + B) = A
Законы исключённого третьего и противоречия
A + ¬A = 1 (закон исключённого третьего)
A · ¬A = 0 (закон противоречия)
Законы идемпотентности
A + A = A
A · A = A
Законы операций с константами
A + 0 = A
A · 1 = A
A + 1 = 1
A · 0 = 0
Двойное отрицание
¬(¬A) = A