契合范式

conjunctive normal form