Приведение кнф функции к днф
Полученное выражение можно упростить следующим образом:
f( x,y,z ) = x z 
y ( x 
)
y ( z
1 ) =
x z y1 y ·1 = x z y.
Теорема. Для любых двух эквивалентных формул f1 и f2 существует экви-валентное преобразование f1 в f2 с помощью основных свойств булевых операций.
Доказательство: Преобразуем f1 и f2 в СДНФ. Так как f1 ~ f2, то их СДНФ совпадают.
предыдущаяследующая