为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题，抽象出了从合取范式到析取范式转换这一核心问题。提出了利用极小覆盖来实现从合取范式到析取范式的转换，给出了一个增量式的算法。为了扩大范式转换的使用范围，定义了伪合取范式，并给出伪合取范式到析取范式的转换方法。