Нормальные формы логических функций
Сравнивая это выражение с СДНФ функции предыдущего примера, видим, что они одинаковые, что и должно быть т.к. f( x1,x2,x3 ) – одна и та же для этих примеров.
Определение. Дизъюнктивной нормальной формой (ДНФ) логической функции называется дизъюнкция разных конъюнкций, которые не все являются полными.
Например, f( x,y,z) = x
x z xz y.
Любую ДНФ можно привести к СДНФ “ расщеплением” конъюнкций, которые не являются полными.
Пример. Привести к СДНФ следующую ДНФ функции: x y xz.
В данной ДНФ конъюнкция xy не является полной, т.к. не содержит переменной z .
Учитывая, что z 
= 1 преобразуем ДНФ следующим образом:
xy(z ) xz = xyz xy xz.