AND4 = and(and(A,and(B,C)),D)
A = inbuf(A_)
B = inbuf(B_)
C = inbuf(C_)
D = inbuf(D_)
AND4 = not(or(not(D),or(not(A),or(not(B),not(C)))))
AND4A = and(and(not(A),and(B,C)),D)
AND4A = not(or(not(D),or(A,or(not(B),not(C)))))
AND5B = and(and(not(A),and(not(B),C)),and(D,E))
E = inbuf(E_)
AND5B = not(or(or(not(E),or(A,or(B,not(C)))),not(D)))
OR2B = or(not(B),not(A))
OR2B = not(and(A,B))
OR3C = or(not(C),or(not(A),not(B)))
OR3C = not(and(A,and(B,C)))
OR4B = or(D,or(not(A),or(not(B),C)))
OR4B = not(and(and(not(C),and(not(D),A)),B))
OR4C = or(D,or(not(A),or(not(B),not(C))))
OR4C = not(and(and(not(D),and(A,B)),C))
OR5B = or(or(E,or(not(A),or(not(B),C))),D)
OR5B = not(and(and(not(C),and(not(D),not(E))),and(A,B)))
AX1 = xor(C,and(not(A),B))
AX1 = not(xor(C,or(A,not(B))))
AX1C = xor(C,and(A,B))
AX1C = not(xor(C,or(not(A),not(B))))
AO2E = or(and(not(A),not(B)),or(not(D),not(C)))
AO2E = not(and(D,and(C,or(B,A))))
AO3A = or(and(A,and(B,C)),D)
AO3A = not(and(not(D),or(not(C),or(not(A),not(B)))))
AO6 = or(and(C,D),and(A,B))
AO6 = not(or(and(not(C),or(not(A),not(B))),and(not(D),or(not(A),not(B)))))
AO6A = or(and(not(D),C),and(A,B))
AO6A = not(or(and(D,or(not(B),not(A))),and(not(C),or(not(A),not(B)))))
AO7 = or(and(A,and(B,C)),or(E,D))
AO7 = not(and(not(E),and(not(D),or(not(C),or(not(A),not(B))))))
AO8 = or(and(A,B),or(and(not(C),not(D)),E))
AO8 = not(and(not(E),or(and(C,or(not(B),not(A))),and(D,or(not(B),not(A))))))
AO9 = or(and(A,B),or(E,or(D,C)))
AO9 = not(and(not(E),and(not(D),and(not(C),or(not(B),not(A))))))
AO10 = or(and(D,or(and(A,B),C)),and(E,or(and(A,B),C)))
AO10 = not(or(and(not(D),not(E)),and(not(C),or(not(B),not(A)))))
AOI1 = and(not(C),or(not(B),not(A)))
AOI1 = not(or(and(A,B),C))
AOI2B = and(not(D),and(C,or(A,not(B))))
AOI2B = not(or(and(not(A),B),or(D,not(C))))
AOI4A = or(and(C,or(not(B),not(A))),and(not(D),or(not(A),not(B))))
AOI4A = not(or(and(not(C),D),and(A,B)))
OA3B = and(D,and(not(C),or(not(A),B)))
OA3B = not(or(and(not(B),A),or(not(D),C)))
OAI3 = or(and(not(A),not(B)),or(not(D),not(C)))
OAI3 = not(and(D,and(C,or(B,A))))
CS1 = or(and(S,and(B,D)),mux(A,and(C,or(not(S),not(B))),D))
S = inbuf(S_)
CS1 = not(or(and(not(D),and(S,B)),mux(A,and(not(C),or(not(B),not(S))),not(D))))
CY2A = or(and(A1,B1),and(B0,and(A0,or(A1,B1))))
A1 = inbuf(A1_)
B1 = inbuf(B1_)
A0 = inbuf(A0_)
B0 = inbuf(B0_)
CY2A = not(or(and(not(A1),or(not(B0),not(A0))),and(not(B1),or(not(A1),or(not(A0),not(B0))))))