Отправлено: 21.06.19 11:21. Заголовок: Solution of one system in Boolean variables via Classic Mapping Method

Original system
((x1vy1)^z1)⊕((x2=>y2)=>z2)=1
((x2vy2)^z2)⊕((x3=>y3)=>z3)=1
(x1≡y2)=>(y2≡yz3) =1

Solving system (1)
((x1vy1)^z1)⊕((x2=>y2)=>z2)=1
((x2vy2)^z2)⊕((x3=>y3)=>z3)=1
Result 140

Solving system (2)
((x1vy1)^z1)⊕((x2=>y2)=>z2)=1
((x2vy2)^z2)⊕((x3=>y3)=>z3)=1
(x1≡y2)=>(y2≡yz3) = 0

Two additional passes with
predefined variables same
fork diagram based
x1=1 ; y2=1 ; z3=0 gives 28
x1=0 ; y2=0 ; z3=1 gives 16
Total 44
Answer is 140-44 = 96


Verification

 Отправлено: 22.06.19 18:27. Заголовок: Another system causing trouble

@Attention of MEA
I have no any idea how to make it smart without six passes
over to exclude ((x1≡y2)=>(y2≡z3)) =>z4=0 solutions

((x1vy1)^z1)⊕((x2=>y2)=>z2)=1
((x2vy2)^z2)⊕((x3=>y3)=>z3)=1
((x3vy3)^z3)⊕((x4=>y4)=>z4)=1
((x1≡y2)=>(y2≡z3)) =>z4=1

 Отправлено: 01.07.19 10:36. Заголовок: Эта система шибко &#..

Эта система шибко "закручена", конечно.
dbaxps пишет:

цитата:

six passes

Меньше трех проходов придумать не могу. Но подозреваю, что принципиально Ваши шесть не отличаются от моих трех.
Подробное решение

 Отправлено: 01.07.19 14:08. Заголовок: Ответ

Елена Александровна, спасибо . Дело даже не в числе проходов,
а в самом мышлении при анализе задачи.

 Отправлено: 26.07.19 11:29. Заголовок: Solution of problems kind of P149 (ege23.doc) via 08.2016 "GRAPHS AND SYSTEMS OF LOGICAL EQUATIONS"

Once again I strongly believe that technique proposed in http://kpolyakov.spb.ru/download/mea-2016-8.pdf seems to be underestimated either not well understood until date. Regardless Unified State Examination Polyakov's forum contains more then enough samples demonstrating advantages of 08.2016 technique. Consider system which is more complicated then P149 :-
((x1 v y1)^z1)=> ((x2=>y2)=>z2)=1
((x2 v y2)^z2)=> ((x3=>y3)=>z3)=1
((x3 v y3)^z3)=> ((x4=>y4)=>z4)=1
((x4 v y4)^z4)=> ((x5=>y5)=>z5)=1
Solve this system via same approach

Passing Polyakov's Control

Obviously it might be solved via traditional 8x8 truth table per 2013 original MM design, what will cause painful procedure of building truth table in general having 64 rows to analyse.