| Входной файл: | Стандартный вход | Ограничение времени: | 1 сек | |
| Выходной файл: | Стандартный выход | Ограничение памяти: | 64 Мб | |
| Максимальный балл: | 1 |
Для некоторой булевой формулы, представленной в 2-КНФ требуется подобрать пследовательноость значений литералов так, чтобы формула стала истинной.
Первая строка содержит число n — количество клозов (англ. clause).
Далее идут n строк, каждая из которых содержит не более 2х чисел. Каждое положительное число означает соответствующий литерал, а каждое отрицательное — соответствующий литерал под отрицанием.
К примеру формула (X ∧ Y) ∧ (¬ X ∧ Z) будет представлена как2
1 2
-1 3
| № | Стандартный вход | Стандартный выход |
|---|---|---|
| 1 | |
|
| 2 | |
|