Миша заполнял таблицу истинности функции (¬x /\ ¬y) \/ (y≡z) \/ ¬w