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

Задача . П 148


Задача

Темы:
Сколько различных решений имеет система логических уравнений
((¬x1 → y1) • z1) ⇔ ((¬x2 + y2) → z2)
((¬x2 → y2) • z2) ⇔ ((¬x3 + y3) → z3)
...
((¬x4 → y4) • z4) ⇔ ((¬x5 + y5) → z5)
где x1, …, x5, y1, …, y5, z1, …, z5– логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов

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

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

Ваш ответ

Для проверки решения задачи необходимо зарегистрироваться или авторизоваться!