Пример. По заданной таблице истинности составить СНДФ функций

Общая запись любой логической функции в СНКФ имеет вид

,

Иначе говоря, в СНКФ будет отсутствовать тот дизъюнктивный член, для которого .

Действительно, если мы, например, в функции хотим оставить вторую и третью скобки, то мы должны записать:

=

.

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