К основным относят следующие равносильности, которые рекомендуется запомнить и применять при упрощении формул.
Свойства 0 и 1:
x 0 = 0, x 1 = x,
x 0 = x, x
1 = 1,
x 0 = x, x
1 =x .
Закон двойного отрицания:
= x.
Закон противоречия:
x x = 0.
Закон исключенного третьего:
x x = 1.
Законы идемпотентности:
x x = x, x x= x.
Законы де Моргана:
x y = x y ,
=x y .
Законы коммутативности:
x y = y
x,
x y = y
x,
x y = y x.
Законы ассоциативности:
x (y
z ) = (x
y )
z = x
y
z,
x (y
z ) = (x
y )
z = x
y
z,
x (y z ) = (x y ) z = x y z.
Законы дистрибутивности:
x ( y z) = x y
x z,
x y z = (x
y)(x
z),
x(y z) = x y
x z.
Законы поглощения:
x x y = x,
x(x y) = x.
Законы склеивания:
x y x y = y,
(x y)(x
y) = y.
Закон обобщенного склеивания:
x y x z = x y
x z
y z.