4 type TT2 = (Int,Int,Int,Int)
6 tt_con10, tt_id, tt_inv, tt_con11 :: TT1
13 tt_con20, tt_and2, tt_nimp, tt_id21 :: TT2
14 tt_nimp', tt_id22, tt_xor, tt_or2 :: TT2
15 tt_nor2, tt_equ2, tt_inv22, tt_imp' :: TT2
16 tt_inv21, tt_imp, tt_nand2, tt_con21 :: TT2