История изменений
Исправление ktan, (текущая версия) :
Только я не совсем понял из решения, почему все сразу удовлетворяет тоже 192?
Потому что нет пересечений.
Как это проявится в твоем решении?Нужно будет выкинуть из общего «скопа» решений случаи, когда
(x9 && !x10) || (!x9 && x10) || (x1 && x2) || (!x1 && !x2) = 0
Блин. Похоже я не так задачу переписал. Только сейчас заметил. Странно, что ответ тогда сошелся.
Исправление ktan, :
Только я не совсем понял из решения, почему все сразу удовлетворяет тоже 192?
Потому что нет пересечений.
Как это проявится в твоем решении?Нужно будет выкинуть из общего «скопа» решений случаи, когда
(x9 && !x10) || (!x9 && x10) || (x1 && x2) || (!x1 && !x2) = 0
Блин. Похоже я не так задачу переписал. Только сейчас заметил.
Исходная версия ktan, :
(x9 && !x10) || (!x9 && x10) || (x1 && x2) || (!x1 && !x2) = 1
Это уже совсем другой случай, «выбивающийся» из первых четырех уравнений: в первоначальном варианте переменные в уравнениях не пересекаются.
Только я не совсем понял из решения, почему все сразу удовлетворяет тоже 192?
Потому что нет пересечений.
Как это проявится в твоем решении?
Нужно будет выкинуть из общего «скопа» решений случаи, когда (x9 && !x10) || (!x9 && x10) || (x1 && x2) || (!x1 && !x2) = 0