Wednesday 28 August 2019

Solution of System in Boolean variables kind of P233 with {x,y,z} variables in 08/2016 format

Исходная система

((((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
((((x5 =>y5) =>z5) =>x6) =>y6) =>z6 =1
((((x6 =>y6) =>z6) =>x7) =>y7) =>z7 =1

Линии "0" и "1" определены по (x1=>y1)=>z1=0  и (x1=>y1)=>z1=1
Тройки бит {000,010,110} - линия "0" ; {001,011,100,101,111} - линия "1".  
Закономерность переходов в диаграмме, по факту определяется на битовых тройках. 
Но как только  правильная закономерность получена на битовых тройках можно      комфортно реплицировать одну и ту же процедуру в графике.


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


  

No comments:

Post a Comment

Featured Post

Solution of one USE Informatics system of Boolean equations in 08.2016 style

Original system Orinal system ¬(x1≡x2)v¬(x1≡x3)^(x2≡x3)=1 ¬(x3≡x4)v¬(x3≡x5)^(x4≡x5)=1 ¬(x5≡x6)v¬(x5≡x7)^(x6≡x7)=1 ¬(x7≡x8)v¬(x7≡x9...