乘法范氏

conjunctive canonical form