Доброй ночи! Есть выражение (эквивалентность): A ∧ B ⇒ C ∧ ¬(B ∨ A) ⇔ A ∧ B ⇒ C ∧ ¬(B ∨ A), в файле — задача 2.3, стр.9. Необходимо дать решение и построить таблицу. Таблица — не проблема, но разве упрощать не нужно? Там же все тождественно с разных сторон... Как это должно выглядеть? Спасибо!