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

Задача . Алгебра логики — система уравнений


Задача

Темы:

Сколько различных наборов значений переменных \(x_1, x_2, x_3, x_4\) удовлетворяют системе уравнений?

\((x_1 \vee x_2) = 1\)

\((x_2 \to x_3) = 1\)

\((x_3 \wedge x_4) = 0\)


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

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