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