Multi-Level Logic: CAD Tools for Simplification
misII and the MSU gate library
1660 and2/nand2 [A•B, (A•B)']
1670 and3/nand3 [A•B•C, (A•B•C)']
1680 and4/nand4 [A•B•C•D, (A•B•C•D)']
1760 or2/nor2 [A+B, (A+B)']
1770 or3/nor3 [A+B+C, (A+B+C)']
1860 oai22 [(A + B)(C + D)]'
1810 ao222 A•B + C•D + E•F
1910 ao2222 A•B + C•D + E•F + G•H
equivalent to INVERT-AND-OR