c1   completeness   minterm   SOP   m1   majority   diagram   canonical   and-or   nand-nor