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

В данном задании предлагается: 3.1. ФАЛ, заданную в форме ДНФ, используя законы и равносильности алгебры логики, представить в форме КНФ. 3.2. По ФАЛ, представленной в ДНФ, построить ДСНФ. 3.3. По ФАЛ, представленной в КНФ, построить КСНФ. Вариант:

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

. Так как , то такая операция не изменяет значений функции.
Также применим аксиому: и исключим повторы.
Получили ДСНФ:
Для перехода от КНФ к КСНФ к каждому члену, не содержащему всех переменных, следует добавить конъюнкции прямых и инверсных значений отсутствующих переменных ()