Требуется привести к виду СДНФ и СКНФ путем эквивалентных преобразований
Дополнительные материалы:
allangarsk:
Какое действие обозначает ~w?
Ответ
0
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