Приведение логической формулы к днф
= y ( x 
) y
= y
y.
Полученное выражение и есть ДНФ данной формулы.
Замечания:
1). ДНФ не является однозначно определенной.
2). Все ДНФ данной формулы равносильны.
Определение. Конъюнктивной нормальной формой (КНФ) логической функции называется конъюнкция разных дизъюнкций, которые не все являются полными.
Например, f( x,y,z ) =
(
y )(
z )( 
z ).