Требуется привести к виду СДНФ и СКНФ путем эквивалентных преобразований

f= (x->~x^~z)-> ~(~x v ~y) v ~y ^ x ~w =

((~x v ~x)^~z) -> (x ^ y v ~y) ^ x~w =

(~x ^ ~z) -> (x ^ y^ x v ~y^ x) ~w =

(~x ^ ~z) -> (x ^ y v x ^~y) ~w =

(~x ^ ~z) -> x^ (y v ~y)  ~w=

(~x ^ ~z) -> x^ (1) ~w =

~(~x ^ ~z) v x ~w =

x v z v x ~w = x v z ~w