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))
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)))
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)))
AOI1C = and(not(C),or(B,A))
AOI1C = not(or(and(not(A),not(B)),C))
AOI1D = and(C,or(A,B))
AOI1D = not(or(and(not(A),not(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))))
AO2B = or(and(not(A),not(B)),or(D,C))
AO2B = not(and(not(D),and(not(C),or(B,A))))
AO2C = or(and(not(A),B),or(D,not(C)))
AO2C = not(and(not(D),and(C,or(A,not(B)))))
AO2D = or(and(not(A),not(B)),or(D,not(C)))
AO2D = not(and(not(D),and(C,or(A,B))))
AOI2A = or(D,or(A,or(not(B),C)))
AOI2A = not(and(and(not(A),and(not(C),not(D))),B))
AOI3A = or(not(D),or(C,or(A,B)))
AOI3A = not(and(and(not(A),and(not(B),not(C))),D))
AO3 = or(and(not(A),and(B,C)),D)
AO3 = not(and(not(D),or(not(C),or(A,not(B)))))
AO3B = or(and(not(A),and(not(B),C)),D)
AO3B = not(and(not(D),or(not(C),or(A,B))))
AO3C = or(and(not(A),and(not(B),not(C))),D)
AO3C = not(and(not(D),or(C,or(A,B))))
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))))
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)))))
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))
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)))
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)))
OA4 = and(D,or(A,or(B,C)))
OA4 = not(or(and(not(A),and(not(B),not(C))),not(D)))
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))))
OAI3A = or(and(not(A),not(B)),or(D,C))
OAI3A = not(and(not(D),and(not(C),or(B,A))))
MX2 = mux(S,A,B)
S = inbuf(S_)
MX2 = not(mux(S,not(A),not(B)))
MX2A = mux(S,not(A),B)
MX2A = not(mux(S,A,not(B)))
MX2B = mux(S,A,not(B))
MX2B = not(mux(S,not(A),B))
MX2C = mux(S,not(A),not(B))
MX2C = not(mux(S,A,B))
MX4 = mux(S1,mux(S0,D0,D1),mux(S0,D2,D3))
S0 = inbuf(S0_)
S1 = inbuf(S1_)
D0 = inbuf(D0_)
D1 = inbuf(D1_)
D2 = inbuf(D2_)
D3 = inbuf(D3_)
MX4 = not(mux(S1,mux(S0,not(D0),not(D1)),mux(S0,not(D2),not(D3))))