Форум » Логические уравнения » Предикаты и техника решения 08.2016 систем уравнений в булевых переменных vs Классический подход » Ответить
Предикаты и техника решения 08.2016 систем уравнений в булевых переменных vs Классический подход
dbaxps: Рассмотрим систему (((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
Ответов - 0
полная версия страницы