Простой дизъюнкцией называется дизъюнкция одной или нескольких переменных, при этом каждая переменная входит не более одного раза (либо сама, либо ее отрицание)

Например, выражение – простая дизъюнкция.

Конъюнктивной нормальной формой (КНФ) называется конъюнкция простых дизъюнкций.

Например, выражение

является КНФ.

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

Например, выражение

является СКНФ.

Представление логических функций в виде СДНФ (СКНФ)

Если булева функция не равна тождественному нулю, то ее можно представить в виде СДНФ по ее таблице истинности следующим образом: берем только те наборы переменных (х ₁, х ₂, …, х _n), для которых
f (х ₁, х ₂, …, х _n)=1, и составляем простую конъюнкцию для этого набора так: если х _i = 0, то берем в этой конъюнкции , если х_i = 1, то берем х_i. Составляя дизъюнкцию этих простых конъюнкций, придем к СДНФ.