Приведение кнф функции к днф
Приведение КНФ к ДНФ осуществляется путем раскрытия скобок и удаления полученных лишних конъюнкций и повторных переменных.
Пример. Привести к ДНФ следующую функцию, заданную в КНФ:
f( x, y, z ) = (
x 
y )( 
z y ).
Раскроем скобки:
f( x,y,z ) = ( x y )( z y ) = x x z x y 
y
z y y
=
= x z x y y
y z
y.