AND2 = and(A,B)
A = inbuf(A_)
B = inbuf(B_)
AND2 = not(or(not(B),not(A)))
AND2A = and(not(A),B)
AND2A = not(or(not(B),A))
AND2B = and(not(A),not(B))
AND2B = not(or(B,A))
OR2 = or(B,A)
OR2 = not(and(not(A),not(B)))
OR2A = or(B,not(A))
OR2A = not(and(not(B),A))
OR2B = or(not(B),not(A))
OR2B = not(and(A,B))
AND3 = and(A,and(B,C))
C = inbuf(C_)
AND3 = not(or(not(C),or(not(A),not(B))))
AND3A = and(not(A),and(B,C))
AND3A = not(or(not(C),or(A,not(B))))
AND3B = and(not(A),and(not(B),C))
AND3B = not(or(not(C),or(A,B)))
AND3C = and(not(A),and(not(B),not(C)))
AND3C = not(or(C,or(A,B)))
OR3 = or(C,or(A,B))
OR3 = not(and(not(A),and(not(B),not(C))))
OR3A = or(C,or(not(A),B))
OR3A = not(and(not(B),and(not(C),A)))
OR3B = or(C,or(not(A),not(B)))
OR3B = not(and(not(C),and(A,B)))
AND4B = and(and(not(A),and(not(B),C)),D)
D = inbuf(D_)
AND4B = not(or(not(D),or(A,or(B,not(C)))))
AND4C = and(and(not(A),and(not(B),not(C))),D)
AND4C = not(or(not(D),or(A,or(B,C))))
OR4 = or(D,or(A,or(B,C)))
OR4 = not(and(and(not(A),and(not(B),not(C))),not(D)))
OR4A = or(D,or(not(A),or(B,C)))
OR4A = not(and(and(not(B),and(not(C),not(D))),A))
XOR = xor(B,A)
XOR = not(xor(B,not(A)))
XNOR = xor(B,not(A))
XNOR = not(xor(B,A))
XO1 = or(C,xor(B,A))
XO1 = not(and(not(C),xor(B,not(A))))
XO1A = or(C,xor(B,not(A)))
XO1A = not(and(not(C),xor(B,A)))
XA1 = and(C,xor(B,A))
XA1 = not(or(not(C),xor(B,not(A))))
XA1A = and(C,xor(B,not(A)))
XA1A = not(or(not(C),xor(B,A)))
AX1 = xor(C,and(not(A),B))
AX1 = not(xor(C,or(A,not(B))))
AX1A = xor(C,or(A,not(B)))
AX1A = not(xor(C,and(not(A),B)))
AX1B = xor(C,and(not(A),not(B)))
AX1B = not(xor(C,or(A,B)))
AO1 = or(and(A,B),C)
AO1 = not(and(not(C),or(not(B),not(A))))
AO1A = or(and(not(A),B),C)
AO1A = not(and(not(C),or(not(B),A)))
AO1B = or(and(A,B),not(C))
AO1B = not(and(C,or(not(A),not(B))))
AO1C = or(and(not(A),B),not(C))
AO1C = not(and(C,or(A,not(B))))
AOI1A = and(not(C),or(not(B),A))
AOI1A = not(or(and(not(A),B),C))
AOI1B = and(C,or(not(A),not(B)))
AOI1B = not(or(and(A,B),not(C)))
AO2 = or(and(A,B),or(D,C))
AO2 = not(and(not(D),and(not(C),or(not(B),not(A)))))
AO2A = or(and(not(A),B),or(D,C))
AO2A = not(and(not(D),and(not(C),or(not(B),A))))
AOI2A = and(not(D),and(not(C),or(not(B),A)))
AOI2A = not(or(and(not(A),B),or(D,C)))
AOI2B = and(not(D),and(C,or(A,not(B))))
AOI2B = not(or(and(not(A),B),or(D,not(C))))
AO3 = or(and(not(A),and(B,C)),D)
AO3 = not(and(not(D),or(not(C),or(A,not(B)))))
MAJ3 = or(and(A,B),and(C,or(A,B)))
MAJ3 = not(or(and(not(A),not(B)),and(not(C),or(not(B),not(A)))))
AO4A = and(C,mux(A,B,D))
AO4A = not(or(not(C),mux(A,not(B),not(D))))
AO5A = or(D,mux(A,B,C))
AO5A = not(and(not(D),mux(A,not(B),not(C))))
AOI3A = or(A,and(D,or(C,B)))
AOI3A = not(and(not(A),or(and(not(B),not(C)),not(D))))
OA1 = and(C,or(A,B))
OA1 = not(or(and(not(A),not(B)),not(C)))
OA1A = and(C,or(not(A),B))
OA1A = not(or(and(not(B),A),not(C)))
OA1B = and(not(C),or(B,A))
OA1B = not(or(and(not(A),not(B)),C))
OA1C = and(not(C),or(B,not(A)))
OA1C = not(or(and(not(B),A),C))
OA3 = and(D,and(C,or(B,A)))
OA3 = not(or(and(not(A),not(B)),or(not(D),not(C))))
OA3A = and(D,and(not(C),or(A,B)))
OA3A = not(or(and(not(A),not(B)),or(not(D),C)))
OA3B = and(D,and(not(C),or(not(A),B)))
OA3B = not(or(and(not(B),A),or(not(D),C)))
OA2 = or(and(C,or(B,A)),and(D,or(B,A)))
OA2 = not(or(and(not(C),not(D)),and(not(A),not(B))))
OA2A = or(and(C,or(B,not(A))),and(D,or(B,not(A))))
OA2A = not(or(and(not(C),not(D)),and(not(B),A)))
OA4A = and(D,or(not(C),or(A,B)))
OA4A = not(or(and(not(A),and(not(B),C)),not(D)))
OA5 = or(A,and(D,or(C,B)))
OA5 = not(and(not(A),or(and(not(B),not(C)),not(D))))
OAI1 = or(and(not(A),not(B)),not(C))
OAI1 = not(and(C,or(A,B)))
OAI2A = or(and(not(A),and(not(B),not(C))),D)
OAI2A = not(and(not(D),or(C,or(A,B))))