5. Задача 4. Определить истинность выражения с помощью построения таблицы истинности. Дано выражение M ≡ X → ¬Y.

При стандартном приоритете операций эквивалентность имеет более низкий приоритет, чем импликация, поэтому выражение читаем как M ≡ (X → ¬Y). Перебираем все сочетания значений трёх переменных. Импликация ложна только тогда, когда её левая часть истинна, а правая ложна; эквивалентность истинна, когда её части имеют одинаковые значения.

В итоговом столбце есть и истинные, и ложные значения, следовательно, выражение выполнимо, но не является тождественно истинным или тождественно ложным.

Ответ: выражение истинно во второй, третьей, четвёртой и пятой строках таблицы.