:: GATE_3 semantic presentation

s0 is set
s9 is set
NOT1 s9 is set
s8 is set
NOT1 s8 is set
AND2 ((NOT1 s9),(NOT1 s8)) is set
s1 is set
AND2 ((NOT1 s9),s8) is set
s2 is set
AND2 (s9,(NOT1 s8)) is set
s3 is set
AND2 (s9,s8) is set
s4 is set
s11 is set
NOT1 s11 is set
s10 is set
NOT1 s10 is set
AND2 ((NOT1 s11),(NOT1 s10)) is set
s5 is set
AND2 ((NOT1 s11),s10) is set
s6 is set
AND2 (s11,(NOT1 s10)) is set
s7 is set
AND2 (s11,s10) is set
s0 is set
s9 is set
NOT1 s9 is set
s8 is set
NOT1 s8 is set
AND2 ((NOT1 s9),(NOT1 s8)) is set
s1 is set
AND2 ((NOT1 s9),s8) is set
s2 is set
AND2 (s9,(NOT1 s8)) is set
s3 is set
AND2 (s9,s8) is set
s4 is set
s11 is set
NOT1 s11 is set
s10 is set
NOT1 s10 is set
AND2 ((NOT1 s11),(NOT1 s10)) is set
s5 is set
AND2 ((NOT1 s11),s10) is set
s6 is set
AND2 (s11,(NOT1 s10)) is set
s7 is set
AND2 (s11,s10) is set
s12 is set
AND2 ((NOT1 s9),s12) is set
AND2 (s8,s12) is set
AND2 (s0,s12) is set
AND2 (s1,s12) is set
AND2 (s3,s12) is set
AND2 (s2,s12) is set
NOT1 s12 is set
OR2 ((AND2 (s2,s12)),(NOT1 s12)) is set
s0 is set
ns2 is set
NOT1 ns2 is set
ns1 is set
NOT1 ns1 is set
ns0 is set
NOT1 ns0 is set
AND3 ((NOT1 ns2),(NOT1 ns1),(NOT1 ns0)) is set
s1 is set
AND3 ((NOT1 ns2),(NOT1 ns1),ns0) is set
s2 is set
AND3 ((NOT1 ns2),ns1,(NOT1 ns0)) is set
s3 is set
AND3 ((NOT1 ns2),ns1,ns0) is set
s4 is set
AND3 (ns2,(NOT1 ns1),(NOT1 ns0)) is set
s5 is set
AND3 (ns2,(NOT1 ns1),ns0) is set
s6 is set
AND3 (ns2,ns1,(NOT1 ns0)) is set
s7 is set
AND3 (ns2,ns1,ns0) is set
s8 is set
ns5 is set
NOT1 ns5 is set
ns4 is set
NOT1 ns4 is set
ns3 is set
NOT1 ns3 is set
AND3 ((NOT1 ns5),(NOT1 ns4),(NOT1 ns3)) is set
s9 is set
AND3 ((NOT1 ns5),(NOT1 ns4),ns3) is set
s10 is set
AND3 ((NOT1 ns5),ns4,(NOT1 ns3)) is set
s11 is set
AND3 ((NOT1 ns5),ns4,ns3) is set
s12 is set
AND3 (ns5,(NOT1 ns4),(NOT1 ns3)) is set
s13 is set
AND3 (ns5,(NOT1 ns4),ns3) is set
s14 is set
AND3 (ns5,ns4,(NOT1 ns3)) is set
s15 is set
AND3 (ns5,ns4,ns3) is set
s0 is set
ns2 is set
NOT1 ns2 is set
ns1 is set
NOT1 ns1 is set
ns0 is set
NOT1 ns0 is set
AND3 ((NOT1 ns2),(NOT1 ns1),(NOT1 ns0)) is set
s1 is set
AND3 ((NOT1 ns2),(NOT1 ns1),ns0) is set
s2 is set
AND3 ((NOT1 ns2),ns1,(NOT1 ns0)) is set
s3 is set
AND3 ((NOT1 ns2),ns1,ns0) is set
s4 is set
AND3 (ns2,(NOT1 ns1),(NOT1 ns0)) is set
s5 is set
AND3 (ns2,(NOT1 ns1),ns0) is set
s6 is set
AND3 (ns2,ns1,(NOT1 ns0)) is set
s7 is set
AND3 (ns2,ns1,ns0) is set
s8 is set
ns5 is set
NOT1 ns5 is set
ns4 is set
NOT1 ns4 is set
ns3 is set
NOT1 ns3 is set
AND3 ((NOT1 ns5),(NOT1 ns4),(NOT1 ns3)) is set
s9 is set
AND3 ((NOT1 ns5),(NOT1 ns4),ns3) is set
s10 is set
AND3 ((NOT1 ns5),ns4,(NOT1 ns3)) is set
s11 is set
AND3 ((NOT1 ns5),ns4,ns3) is set
s12 is set
AND3 (ns5,(NOT1 ns4),(NOT1 ns3)) is set
s13 is set
AND3 (ns5,(NOT1 ns4),ns3) is set
s14 is set
AND3 (ns5,ns4,(NOT1 ns3)) is set
s15 is set
AND3 (ns5,ns4,ns3) is set
ns6 is set
AND2 ((NOT1 ns2),ns6) is set
AND2 (ns0,ns6) is set
AND2 (ns1,ns6) is set
AND2 (s0,ns6) is set
AND2 (s1,ns6) is set
AND2 (s3,ns6) is set
AND2 (s7,ns6) is set
AND2 (s6,ns6) is set
AND2 (s4,ns6) is set
NOT1 ns6 is set
OR2 ((AND2 (s4,ns6)),(NOT1 ns6)) is set
AND2 (s5,ns6) is set
AND2 (s2,ns6) is set
s0 is set
q4 is set
NOT1 q4 is set
q3 is set
NOT1 q3 is set
q2 is set
NOT1 q2 is set
q1 is set
NOT1 q1 is set
AND4 ((NOT1 q4),(NOT1 q3),(NOT1 q2),(NOT1 q1)) is set
s1 is set
AND4 ((NOT1 q4),(NOT1 q3),(NOT1 q2),q1) is set
s2 is set
AND4 ((NOT1 q4),(NOT1 q3),q2,(NOT1 q1)) is set
s3 is set
AND4 ((NOT1 q4),(NOT1 q3),q2,q1) is set
s4 is set
AND4 ((NOT1 q4),q3,(NOT1 q2),(NOT1 q1)) is set
s5 is set
AND4 ((NOT1 q4),q3,(NOT1 q2),q1) is set
s6 is set
AND4 ((NOT1 q4),q3,q2,(NOT1 q1)) is set
s7 is set
AND4 ((NOT1 q4),q3,q2,q1) is set
s8 is set
AND4 (q4,(NOT1 q3),(NOT1 q2),(NOT1 q1)) is set
s9 is set
AND4 (q4,(NOT1 q3),(NOT1 q2),q1) is set
s10 is set
AND4 (q4,(NOT1 q3),q2,(NOT1 q1)) is set
s11 is set
AND4 (q4,(NOT1 q3),q2,q1) is set
s12 is set
AND4 (q4,q3,(NOT1 q2),(NOT1 q1)) is set
s13 is set
AND4 (q4,q3,(NOT1 q2),q1) is set
s14 is set
AND4 (q4,q3,q2,(NOT1 q1)) is set
s15 is set
AND4 (q4,q3,q2,q1) is set
ns0 is set
nq4 is set
NOT1 nq4 is set
nq3 is set
NOT1 nq3 is set
nq2 is set
NOT1 nq2 is set
nq1 is set
NOT1 nq1 is set
AND4 ((NOT1 nq4),(NOT1 nq3),(NOT1 nq2),(NOT1 nq1)) is set
ns1 is set
AND4 ((NOT1 nq4),(NOT1 nq3),(NOT1 nq2),nq1) is set
ns2 is set
AND4 ((NOT1 nq4),(NOT1 nq3),nq2,(NOT1 nq1)) is set
ns3 is set
AND4 ((NOT1 nq4),(NOT1 nq3),nq2,nq1) is set
ns4 is set
AND4 ((NOT1 nq4),nq3,(NOT1 nq2),(NOT1 nq1)) is set
ns5 is set
AND4 ((NOT1 nq4),nq3,(NOT1 nq2),nq1) is set
ns6 is set
AND4 ((NOT1 nq4),nq3,nq2,(NOT1 nq1)) is set
ns7 is set
AND4 ((NOT1 nq4),nq3,nq2,nq1) is set
ns8 is set
AND4 (nq4,(NOT1 nq3),(NOT1 nq2),(NOT1 nq1)) is set
ns9 is set
AND4 (nq4,(NOT1 nq3),(NOT1 nq2),nq1) is set
ns10 is set
AND4 (nq4,(NOT1 nq3),nq2,(NOT1 nq1)) is set
ns11 is set
AND4 (nq4,(NOT1 nq3),nq2,nq1) is set
ns12 is set
AND4 (nq4,nq3,(NOT1 nq2),(NOT1 nq1)) is set
ns13 is set
AND4 (nq4,nq3,(NOT1 nq2),nq1) is set
ns14 is set
AND4 (nq4,nq3,nq2,(NOT1 nq1)) is set
ns15 is set
AND4 (nq4,nq3,nq2,nq1) is set
s0 is set
q4 is set
NOT1 q4 is set
q3 is set
NOT1 q3 is set
q2 is set
NOT1 q2 is set
q1 is set
NOT1 q1 is set
AND4 ((NOT1 q4),(NOT1 q3),(NOT1 q2),(NOT1 q1)) is set
s1 is set
AND4 ((NOT1 q4),(NOT1 q3),(NOT1 q2),q1) is set
s2 is set
AND4 ((NOT1 q4),(NOT1 q3),q2,(NOT1 q1)) is set
s3 is set
AND4 ((NOT1 q4),(NOT1 q3),q2,q1) is set
s4 is set
AND4 ((NOT1 q4),q3,(NOT1 q2),(NOT1 q1)) is set
s5 is set
AND4 ((NOT1 q4),q3,(NOT1 q2),q1) is set
s6 is set
AND4 ((NOT1 q4),q3,q2,(NOT1 q1)) is set
s7 is set
AND4 ((NOT1 q4),q3,q2,q1) is set
s8 is set
AND4 (q4,(NOT1 q3),(NOT1 q2),(NOT1 q1)) is set
s9 is set
AND4 (q4,(NOT1 q3),(NOT1 q2),q1) is set
s10 is set
AND4 (q4,(NOT1 q3),q2,(NOT1 q1)) is set
s11 is set
AND4 (q4,(NOT1 q3),q2,q1) is set
s12 is set
AND4 (q4,q3,(NOT1 q2),(NOT1 q1)) is set
s13 is set
AND4 (q4,q3,(NOT1 q2),q1) is set
s14 is set
AND4 (q4,q3,q2,(NOT1 q1)) is set
s15 is set
AND4 (q4,q3,q2,q1) is set
ns0 is set
nq4 is set
NOT1 nq4 is set
nq3 is set
NOT1 nq3 is set
nq2 is set
NOT1 nq2 is set
nq1 is set
NOT1 nq1 is set
AND4 ((NOT1 nq4),(NOT1 nq3),(NOT1 nq2),(NOT1 nq1)) is set
ns1 is set
AND4 ((NOT1 nq4),(NOT1 nq3),(NOT1 nq2),nq1) is set
ns2 is set
AND4 ((NOT1 nq4),(NOT1 nq3),nq2,(NOT1 nq1)) is set
ns3 is set
AND4 ((NOT1 nq4),(NOT1 nq3),nq2,nq1) is set
ns4 is set
AND4 ((NOT1 nq4),nq3,(NOT1 nq2),(NOT1 nq1)) is set
ns5 is set
AND4 ((NOT1 nq4),nq3,(NOT1 nq2),nq1) is set
ns6 is set
AND4 ((NOT1 nq4),nq3,nq2,(NOT1 nq1)) is set
ns7 is set
AND4 ((NOT1 nq4),nq3,nq2,nq1) is set
ns8 is set
AND4 (nq4,(NOT1 nq3),(NOT1 nq2),(NOT1 nq1)) is set
ns9 is set
AND4 (nq4,(NOT1 nq3),(NOT1 nq2),nq1) is set
ns10 is set
AND4 (nq4,(NOT1 nq3),nq2,(NOT1 nq1)) is set
ns11 is set
AND4 (nq4,(NOT1 nq3),nq2,nq1) is set
ns12 is set
AND4 (nq4,nq3,(NOT1 nq2),(NOT1 nq1)) is set
ns13 is set
AND4 (nq4,nq3,(NOT1 nq2),nq1) is set
ns14 is set
AND4 (nq4,nq3,nq2,(NOT1 nq1)) is set
ns15 is set
AND4 (nq4,nq3,nq2,nq1) is set
R is set
AND2 ((NOT1 q4),R) is set
AND2 (q1,R) is set
AND2 (q2,R) is set
AND2 (q3,R) is set
AND2 (s0,R) is set
AND2 (s1,R) is set
AND2 (s3,R) is set
AND2 (s7,R) is set
AND2 (s15,R) is set
AND2 (s14,R) is set
AND2 (s12,R) is set
AND2 (s8,R) is set
NOT1 R is set
OR2 ((AND2 (s8,R)),(NOT1 R)) is set
AND2 (s2,R) is set
AND2 (s5,R) is set
AND2 (s11,R) is set
AND2 (s6,R) is set
AND2 (s13,R) is set
AND2 (s10,R) is set
AND2 (s4,R) is set
AND2 (s9,R) is set