三类可满足合取范式的快速生成算法

本文采用先给命题变元赋一真值赋值．然后随机生成子句．过滤出在给定的赋伍下为真的子句的方法，给出了三类可满足合取范式快速生成的算法。并对生成的合取范式用已知的求解算法试解，给出了求解的时间。实验结果表明：本算法速度快、效率高．生成的合取范式性能良好。