Отправлено: 24.09.19 22:32. Заголовок: Предикаты и техника решения 08.2016 систем уравнений в булевых переменных vs Классический подход

Рассмотрим систему
(((x1=>y1)=>z1)⊕((z1=>y1)=>x1))=>((x2≡y2)≡z2)=1
(((x2=>y2)=>z2)⊕((z2=>y2)=>x2))=>((x3≡y3)≡z3)=1
(((x3=>y3)=>z3)⊕((z3=>y3)=>x3))=>((x4≡y4)=z4)=1
(((x4=>y4)=>z4)⊕((z4=>y4)=>x4))=>((x5≡y5)≡z5)=1
(((x5=>y5)=>z5)⊕((z5=>y5)=>x5))=>((x1≡y1)≡z1)=1


Стартовые значения для G(x1,y1,z1) определяют
false triples ((x1≡y1)≡z1)
Для 000 G(0,0,0) =0
Для 101 G(1,0,1) =0
Для 011 G(0,1,1) =1
Для 110 G(1,1,0) =1
Поэтому старт G(x1,y1,z1) идет 2/2
Результат первого прогона значение G(x5,y5,z5) по линии "1" дает число ложных решений 1952
Результат второго прогона должен быть уменьшен на 1952


Контроль сделан в https://strategies18.blogspot.com/2019/09/082016-vs-2013.html