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