Преобразуйте данную формулу равносильным образом - вопрос №13954364 от TheAgentSquid 05.12.2021 02:26

Question

Информатика: Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и дизъюнкции: (отрицание Х - Y)- Z = ? отрицание Х - это Х с черточкой наверху

TheAgentSquid · Answer

(¬X ≡ Y) → Z(X ⊕ Y) → Z(¬X ∧ Y ∨ X ∧ ¬Y) → Z(¬(X ∨ ¬Y) ∨ ¬(¬X ∨ Y)) → Z¬(¬(X ∨ ¬Y) ∨ ¬(¬X ∨ Y)) ∨ Z...