Вы находитесь на странице: 1из 11

ПОНЯТИЕ КНФ И ДНФ.

ПОНЯТИЕ СДНФ И СКНФ.


КНФ

• Конъюнктивная нормальная форма, КНФ — нормальная форма, в


которой булева функция имеет вид конъюнкции нескольких простых
дизъюнктов.
• Пример КНФ:
K-конъюнктивной нормальной формой называют конъюнктивную
нормальную форму, в которой каждая дизъюнкция содержит ровно k
литералов.
• Например, следующая формула записана в 2-КНФ:
• Если в простой дизъюнкции не хватает какой-то переменной (например,
z), то добавляем в неё выражение :
(это не меняет самой дизъюнкции), после чего раскрываем скобки с
использованием распределительного закона:
Простой дизъюнкцией называется дизъюнкция одной или нескольких
переменных или их отрицаний, причём каждая переменная встречается не
более одного раза.
• Простая дизъюнкция: полная, если в неё каждая переменная (или её
отрицание) входит ровно один раз;
монотонная, если она не содержит отрицаний
переменных.
• ДНФ
• Дизъюнкти́вная норма́льная фо́рма в булевой логике — нормальная
форма, в которой булева формула имеет вид дизъюнкции конъюнкций
литералов.
СДНФ
Соверше́нная дизъюнкти́вная норма́льная фо́рма (СДНФ) — одна из форм представления
функции алгебры логики (булевой функции) в виде логического выражения. Представляет
собой частный случай ДНФ, удовлетворяющий следующим трём условиям :

в ней нет одинаковых слагаемых (элементарных конъюнкций);

в каждом слагаемом нет повторяющихся переменных;


• каждое слагаемое содержит все переменные, от которых зависит булева функция (каждая
переменная может входить в слагаемое либо в прямой, либо в инверсной форме).
• В составе ДНФ, вообще говоря, могут присутствовать повторяющиеся
слагаемые, а в составе каждого слагаемого — повторяющиеся
сомножители, например:

С математической точки зрения такое клонирование бессмысленно, так как в булевой алгебре
умножение любого выражения на само себя и сложение выражения с самим собой не меняет
результата (х+х=х; х•х=х), а сложение выражение с собственной инверсией и умножение на
собственную инверсию даёт константы (х+х=1; х•х=0). В последнем выражении можно
удалить повторяющиеся слагаемые и сомножители следующим образом:
СКНФ

Соверше́нная конъюнкти́вная норма́льная фо́рма (СКНФ) — это такая КНФ,


которая удовлетворяет трём условиям:

в ней нет одинаковых элементарных дизъюнкций

в каждой дизъюнкции нет одинаковых пропозициональных переменных


• каждая элементарная дизъюнкция содержит каждую пропозициональную букву
из входящих в данную КНФ пропозициональных букв.
• Для того, чтобы получить СКНФ функции, требуется составить её
таблицу истинности. К примеру, возьмём одну из таблиц истинности
статьи минимизация логических функций методом Квайна:
В ячейках
строки́ {\displaystyle
f(х1, х2, х3, х4)
отмечаются лишь те
комбинации, которые
приводят логическое
выражение в
состояние нуля.
Четвёртая строка
содержит 0 в
указанном поле.
Отмечаются значения
всех четырёх
переменных, это:
В дизъюнкцию записывается переменная без инверсии, если она в наборе
равна 0, и с инверсией, если она равна 1. Первый член СКНФ
рассматриваемой функции выглядит так:

• Остальные члены СКНФ составляются по аналогии: