s0 is set
q3 is set
NOT1 q3 is set
q2 is set
NOT1 q2 is set
q1 is set
NOT1 q1 is set
AND3 ((NOT1 q3),(NOT1 q2),(NOT1 q1)) is set
s1 is set
AND3 ((NOT1 q3),(NOT1 q2),q1) is set
s2 is set
AND3 ((NOT1 q3),q2,(NOT1 q1)) is set
s3 is set
AND3 ((NOT1 q3),q2,q1) is set
s4 is set
AND3 (q3,(NOT1 q2),(NOT1 q1)) is set
s5 is set
AND3 (q3,(NOT1 q2),q1) is set
s6 is set
AND3 (q3,q2,(NOT1 q1)) is set
s7 is set
AND3 (q3,q2,q1) is set
ns0 is set
nq3 is set
NOT1 nq3 is set
nq2 is set
NOT1 nq2 is set
nq1 is set
NOT1 nq1 is set
AND3 ((NOT1 nq3),(NOT1 nq2),(NOT1 nq1)) is set
ns1 is set
AND3 ((NOT1 nq3),(NOT1 nq2),nq1) is set
ns2 is set
AND3 ((NOT1 nq3),nq2,(NOT1 nq1)) is set
ns3 is set
AND3 ((NOT1 nq3),nq2,nq1) is set
ns4 is set
AND3 (nq3,(NOT1 nq2),(NOT1 nq1)) is set
ns5 is set
AND3 (nq3,(NOT1 nq2),nq1) is set
ns6 is set
AND3 (nq3,nq2,(NOT1 nq1)) is set
ns7 is set
AND3 (nq3,nq2,nq1) is set
XOR2 (q1,q2) is set
AND2 (q3,(NOT1 q1)) is set
XOR2 (q2,q3) is set
AND2 (q1,(XOR2 (q2,q3))) is set
OR2 ((AND2 (q3,(NOT1 q1))),(AND2 (q1,(XOR2 (q2,q3))))) is set
s0 is set
s1 is set
AND2 (s0,s1) is set
s2 is set
AND2 (s2,s1) is set
s3 is set
AND2 (s3,s1) is set
AND3 ((AND2 (s0,s1)),(AND2 (s2,s1)),(AND2 (s3,s1))) is set
AND3 (s0,s2,s3) is set
AND2 ((AND3 (s0,s2,s3)),s1) is set
s0 is set
NOT1 s0 is set
s1 is set
AND2 (s0,s1) is set
NOT1 s1 is set
OR2 ((NOT1 s0),(NOT1 s1)) is set
OR2 (s0,s1) is set
s2 is set
OR2 (s2,s1) is set
AND2 (s0,s2) is set
OR2 ((AND2 (s0,s2)),s1) is set
s3 is set
OR2 (s3,s1) is set
AND3 (s0,s2,s3) is set
OR2 ((AND3 (s0,s2,s3)),s1) is set
s0 is set
q3 is set
NOT1 q3 is set
q2 is set
NOT1 q2 is set
q1 is set
NOT1 q1 is set
AND3 ((NOT1 q3),(NOT1 q2),(NOT1 q1)) is set
s1 is set
AND3 ((NOT1 q3),(NOT1 q2),q1) is set
s2 is set
AND3 ((NOT1 q3),q2,(NOT1 q1)) is set
s3 is set
AND3 ((NOT1 q3),q2,q1) is set
s4 is set
AND3 (q3,(NOT1 q2),(NOT1 q1)) is set
s5 is set
AND3 (q3,(NOT1 q2),q1) is set
s6 is set
AND3 (q3,q2,(NOT1 q1)) is set
s7 is set
AND3 (q3,q2,q1) is set
ns0 is set
nq3 is set
NOT1 nq3 is set
nq2 is set
NOT1 nq2 is set
nq1 is set
NOT1 nq1 is set
AND3 ((NOT1 nq3),(NOT1 nq2),(NOT1 nq1)) is set
ns1 is set
AND3 ((NOT1 nq3),(NOT1 nq2),nq1) is set
ns2 is set
AND3 ((NOT1 nq3),nq2,(NOT1 nq1)) is set
ns3 is set
AND3 ((NOT1 nq3),nq2,nq1) is set
ns4 is set
AND3 (nq3,(NOT1 nq2),(NOT1 nq1)) is set
ns5 is set
AND3 (nq3,(NOT1 nq2),nq1) is set
ns6 is set
AND3 (nq3,nq2,(NOT1 nq1)) is set
ns7 is set
AND3 (nq3,nq2,nq1) is set
R is set
AND2 ((NOT1 q1),R) is set
XOR2 (q1,q2) is set
AND2 ((XOR2 (q1,q2)),R) is set
AND2 (q3,(NOT1 q1)) is set
XOR2 (q2,q3) is set
AND2 (q1,(XOR2 (q2,q3))) is set
OR2 ((AND2 (q3,(NOT1 q1))),(AND2 (q1,(XOR2 (q2,q3))))) is set
AND2 ((OR2 ((AND2 (q3,(NOT1 q1))),(AND2 (q1,(XOR2 (q2,q3)))))),R) is set
AND2 (s0,R) is set
AND2 (s1,R) is set
AND2 (s2,R) is set
AND2 (s3,R) is set
AND2 (s4,R) is set
AND2 (s5,R) is set
AND2 (s6,R) is set
NOT1 R is set
OR2 (s7,(NOT1 R)) is set