Олимпиадный тренинг

Задача . кп02-261


Логические функции F1 и F2 задаются выражениями

\(F1 = (w \to y) \equiv (z \to x),\ F2 = (w \to y) \land (\neg x \equiv z).\)

На рисунке приведён частично заполненный фрагмент таблицы истинности этих функций, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w.

? ? ? ? F1 F2
0   0 0 0 1
0 0 0   0  
0 1 1     0

В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.


time 500 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя