Предикаты и техника решения 08.2016 систем уравнений в булевых переменных

Рассмотрим систему несколько более сложную чем в 

    Например

    (((x1=>x2)=>x3)⊕((x1≡x2)≡x3))=>(x4 v x5 v x6)=1
    (((x4=>x5)=>x6)⊕((x4≡x5)≡x6))=>(x7 v x8 v x9)=1
    (((x7=>x8)=>x9)⊕((x7≡x8)≡x9))=>(x1 v x2 v x3)=1

    Решение в стиле 08.2016 
    

    Контроль по Полякову

    

В даном случае предикат F(x,y,z) =  (((x=>y)=>z)⊕((x≡y)≡z))  задан несколько более сложной функцией, чем в предыдущем посте.  В действительности, любой трехместный предикат G(x,y,z) с мощностью области истинности "3" определенный на 8 трех-битовых цепочках даст ровно тоже количество решений. Таким образом, все определяется мощностью множества истинности предиката стартующего имлликацию

Другой пример

((x1=>y1)=>z1)=>((x2≡y2)≡z2)=1

((x2=>y2)=>z2)=>((x3≡y3)≡z3)=1

((x3=>y3)=>z3)=>((x4≡y4)≡z4)=1

((x4=>y4)=>z4)=>((x5≡y5)≡z5)=1

Контроль по Полякову