Упростить формулу: Найти КНФ и ДНФ Построить таблицу истинности

Условие:

Упростить формулу:

\overline{((x \& y) \sim(y \rightarrow z))} \mid((x \downarrow z) \vee(\bar{y} \oplus z))

Найти КНФ и ДНФ Построить таблицу истинности

Исходная формула выглядит так:
¬((x ∧ y) ∼ (y → z)) ∨ ((x ↓ z) ∨ (¬y ⊕ z))
Где:
• знак “¬” – отрицание;
• “∧” – логическое И;
• “∨” – логическое ИЛИ;
• “→” – импликация;
• знак “∼” – эквиваленция (то есть “если и только если”);
• “⊕” – исключающее ИЛИ (исключающее или);
• “↓” – функция НОР (то есть “не (x ∨ z)”).
Первоначальная идея – упростить выражение. Обратим внимание на первую часть:
¬((x ∧ y) ∼ (y → z)).
Заметим, что отрицание эквиваленции (A ∼ B) равносильно операции исключающего ИЛИ A ⊕ B. То ес...