Найти СДНФ и СКНФ методом эквивалентных преобразований
[tex]f(x,y,z) = [/tex] (x∧¬y)⇒¬(¬x⇔z)

f(x; y; z) = (x ∧ ¬y) => ¬(¬x <=> z) Импликация раскрывается так: a => b = ¬a ∨ bЭквивалентность раскрывается так: a <=> b = (¬a ∨ b) ∧ (a ∨ ¬b)f(x; y; z) = ¬(x ∧ ¬y) ∨¬(¬x <=> z) = ¬(x ∧ ¬y) ∨ ¬[(x ∨ z) ∧ (¬x ∨ ¬z)] == ¬x ∨ y ∨ ¬[(x∧¬x) ∨ (z∧¬x) ∨ (x∧¬z) ∨ (z∧¬z)] == ¬x ∨ y ∨ ¬[0 ∨ (z∧¬x) ∨ (x∧¬z) ∨ 0] = y ∨ ¬x ∨ ¬(¬x∧z) ∧ ¬(x∧¬z) == y ∨ ¬x ∨ (x ∨ ¬z) ∧ (¬x ∨ z) = y ∨ ¬x ∨(x∧¬x) ∨ (¬x∧¬z) ∨ (x∧z) ∨ (z∧¬z) == y ∨ ¬x ∨ 0 ∨ (¬x∧¬z) ∨ (x∧z) ∨ 0 = y ∨ ¬x ∨ (x∧z) = y ∨ (¬x∨x) ∧ (¬x∨z) == y ∨ 1 ∧ (¬x ∨ z) = ¬x ∨ y ∨ z - ЭТО СДНФf(x; y; z) = x ∧ ¬y ∧ ¬z - ЭТО СКНФ