合取范式

conjunctive normal form