Составить равносильную формулу (¬y ∨ (x ∧ ¬z)) ≡ (y → x)
я привожу через эквивалентные преобразования к сднф и скнф. застряла на этом этапе, ибо не понимаю, как избавиться от ≡ и →
По дате
По рейтингу
Прикреплю решение скриншотом, если Вы не против:
Больше по теме