ФАЛ заданную в форме ДНФ используя законы и равносильности алгебры логики

3.1. Для перехода от ДНФ к КНФ применим следующие основные законы и соотношения булевой алгебры:
закон двойного отрицания ;
закон общей инверсии (законы де Моргана): , ;
аксиомы: , .
Получили ФАЛ в форме КНФ:
3.2 . Для перехода от ДНФ к ДСНФ в каждый из членов, в которых представлены не все аргументы, следует ввести выражение вида (где - отсутствующая в члене переменная). Так как , то такая операция не изменяет значений функции.
Получили ДСНФ:
3.2