主析取范式的求法

-  - 第一章 命题逻辑 - 第七讲 - - - 定义 对于给