主合取范式

每一个 子句 都是 极大项，且编码从小到大顺序排列，则称该范式为主析取范式