Контрольная работа по "Математическая логика и теория алгоритмов"

1.1 Для приведенных формул логики высказываний построить соответствующие им логические функции в виде таблиц истинности, определить общезначимость, выполнимость (невыполнимость) и число моделей формулы:
г) x & (y Ú Øx) & ((Øy ® x) ® y);