Дискретная математика

(конъюнкция (˄), дизъюнкция (˅) и отрицание (¬)), используя тождества.
2) По

Любую формулу можно преобразовать к ДНФ.

3) По закону дистрибутивности раскрыть скобки.

кратности, свойствами констант.
Получим ДНФ.
4) Уменьшить число конъюнкций, пользуясь законами поглощения,

задана в виде ДНФ.
Здесь

.
2) Применим закон двойного
отрицания

Здесь – элементарные дизъюнкции.

над F. Во время преобразования не будем раскрывать скобки –

в соответствие элементарную дизъюнкцию всех переменных так, чтобы в дизъюнкции

Правило получения СКНФ из вектор-столбца

наборы значений аргументов

дизъюнкцию всех переменных

дизъюнкции была с отрицанием, если в наборе она равна 1.