Булева алгебра
Полученые выражения для правой и левой частей соотношения 4 совпадают.
Приведем примеры эквивалентных преобразований булевых формул.
В следующем примере используются законы 2, 3, 5 и 7.
Пример. ( x 
y) ( x z ) =
x x y x x z y z = x x y x z y z =
= x ·1 x y x z y z = x ( 1 y ) x z y z = x x z y z =
= x ( 1 z ) y z = x
y z.