Приведение логической формулы к днф
Раскрывая скобки в этом выражении получим:
Подставляя это выражение в исходную формулу и раскрывая скобки получим:
x y 
(y x z )(
y
) = x y (
y y
y x
z x z
y ) =
= x y (
y y 0
0 ) =
x y y y = x y y y =