合取范式

有限个 子句 的 合取式 称为合取范式