命题公式主合取范式的基础离散论文.doc

命题公式主合取范式的基础离散论文.doc命题公式主合取范式的基础 [摘要]:主合取范式是一种仅由有限个文字构成的析取式，在命题逻辑中发挥着重要的作用。一个简单合取范式是矛盾式当且仅当它同时含某个命题变