Булева алгебра
ной формулы.
Например, закон дополнения при данной замене будет записан так:
f
= 1.
Данные свойства также используются в эквивалентных преобразованиях булевых формул, преобразованиях, использующих свойства булевых операций и правило замены. Они являются более эффективным средством доказательства эквивалентности формул, чем составление таблиц функций.
Рассмотрим некоторые эквивалентные соотношения, применяемые в эквивалентных преобразованиях для упрощения булевых формул т.е. для получения эквивалентных формул, содержащих меньше символов. Для упрощения записи вместо x & y будем использовать эквивалентную запись x y.
1. Склеивание: xy x
= x.
Доказательство: x y
x 
= x (
y ) =
x1 = x.
2. Обобщенное склеивание: x z y 
x y = x z y.