Войти
или
Зарегистрироваться
Курсы
Учебник
Учебник 2.0
ОГЭ/ЕГЭ
Олимпиады
Рубрикатор
Компилятор
Олимпиадный тренинг
Задача
.
Система логических уравнений - 10
Задача
Темы:
Сколько различных решений имеет система логических уравнений?
x1
≡
¬x2
x2
≡
x2+x3
x3
≡
¬x4
x4
≡
¬x5
x5
≡
x5+x6
x6
≡
¬x7
x7
≡
¬x8
x8
≡
x8+x9
1000
ms
32 Mb
Правила оформления программ и список ошибок при автоматической проверке задач
Статистика успешных решений по компиляторам
Комментарий учителя