1) Проверьте логическое выражение (¬x ∨ (¬y → x)) → ¬(x ∧ y).

Необходимо применить законы логики для преобразования выражения. Используем правило импликации и законы де Моргана.