Первым шагом при решении примеров на эквивалентные преобразования является переход к булевым операциям с помощью формул:
1) 
2) 
3)
= 
4)
= 
5)
= 
В справедливости вышеприведенных формул студентам предлагается убедиться самостоятельно путем построения таблиц истинности.
Следует иметь в виду, что буквы, использованные при записи основных равносильностей, могут означать как символы высказывательных переменных и константы, так и формулы алгебры высказываний, т.е. основная равносильность
означает, в частности, что:

Полезными при решении примеров на упрощение формул являются законы полупоглощения:

Пример 4. С помощью равносильных преобразований упростить формулу 
переход к булевым операциям
закон де Моргана и дистрибутивности
закон двойного отрицания
закон поглощения

Проверить правильность преобразований по таблицам истинности следует самостоятельно.