在写作业的过程中，经常会碰到需要推理析取范式和合取范式的过程（等值演算法），希望可以实现这样的一个功能。
在写作业的过程中，经常会碰到需要推理析取范式和合取范式的过程（等值演算法），希望可以实现这样的一个功能。