
(закон исключенного третьего:
; операция с константой:
)

(заменяю
на
; дальше, пользуясь сочетательным и распределительным законами и законом двойного отрицания, применяю закон исключенного третьего)

(всё вышеперечисленное, только добавляю законы де Моргана для раскрытия скобок
)