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

Задача . Равенство импликаций (2023-24, 9-10)


Задача

Темы:
Определите, сколько существует различных комбинаций значений переменных A, B и C, которые могут являться решениями следующей системы уравнений:
\(\cases{(A \rightarrow B) \rightarrow (B \rightarrow C) = A \land B \rightarrow B \land C \\ A \land B \rightarrow B \land C = A\ XOR\ B \rightarrow B\ XOR\ C }\)

В ответ укажите через пробел сначала количество решений, а затем через пробел в лексикографическом порядке сами эти решения в формате #1#2#3, где #1 – значение переменной A (0 – ложь, 1 – истина), #2 – значение переменной B (0 – ложь, 1 – истина), #3 – значение переменной C (0 – ложь, 1 – истина). Если система не имеет решений ни при каких значениях переменных, в ответ укажите NULL.

Пример записи ответа: 2 000 111

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

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