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

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


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

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

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

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

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


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

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