F = ¬(x ∧ y) ∨ (z ≡ w). Частичная таблица (F=0):
500 ms 256 Mb Правила оформления программ и список ошибок при автоматической проверке задач