СДНФ и СКНФ — два представления булевой функции

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

Алгоритм построения:
СДНФ
СКНФ
Для каждого выбранного
набора записать конъюнкции:
Если переменная равна 0, то
записывается ее инверсия, а
если она равна 1, то пишут
без изменения .
Соединяют все конъюнкции
знаком дизъюнкции.
Выделить в таблице
истинности все строки, в
которых функция равна 1.
Для каждого выбранного
набора записать дизъюнкции:
Если переменная равна 0, то
ее пишут без изменения, а
если она равна 1, то пишут
ее инверсию.
Соединяют все дизъюнкции
знаком конъюнкции.
Выделить в таблице
истинности все строки, в
которых функция равна 0.

ПРИМЕР.
Записать СДНФ и СКНФ функции трёх переменных:

СДНФ:
СДНФ можно записывать не только на единичных, но и на
нулевых значениях аргументов: