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