Использование предикатов при решении систем уравнений в булевых переменных ( Версия Метода Отображений 08.2016 )

 Пусть F(x,y,z) трехместный предикат определенный на множестве всех трех битовых цепочек.

 Мощность множества истинности этого предиката равна 5 , мощность области определения 

предиката  очевидно равна 8.  Рассмотрим систему уравнений.

F(x2,y2,z2) => F(x1,y1,z1) =1

F(x3,y3,z3) => F(x2,y2,z2) =1 
F(x4,y4,z4) => F(x3,y3,z3) =1
F(x1,y1,z1) => F(x4,y4,z4) =1

Положим
w1=F(x1,y1,z1)
w2=F(x2,y2,z2)
w3=F(x3,y3,z3)
w4=F(x4,y4,z4)

    Рассмотрим три различных предиката, удовлетворяющих исходному условию

      F(x,y,z)= ((x=>y)=>z) ;

      F(x,y,z)= (x=>y^z);

      F (x,y,z) = ((x v y) => z) ;

    Просчитаем по Полякову каждый случай  ( POC - Proof of concept )

Таким образом,если система может быть сведена к диаграмме типа 08.2016 

для w(j) переменных, результат определяется только мощностью множества 

истинности предиката, а не формулой определяющей F(x,y,z)