第一章 命题逻辑.pptVIP

* 求A的主析取范式 A=(p?r)?(q??r)?((p??q)?(?p?q)) ? (?p?r)?(?q??r)?((p??q)?(?p?q)) ? ((?p??q)?(?p??r)?(r??q)?(r??r)) ?((p??q)?(?p?q)) ? ((?p??q)?(p??q))?((?p??r)?(p??q)) ?((r??q)?(p??q))?((?p??q)?(?p?q)) ?((?p??r)?(?p?q))?((r??q)?(?p?q)) ? (p??q?r)?(?p?q??r) 成真赋值:101,010 结论: 方案1 派A与C去, 方案2 派B去 * 主合取范式 由主析取范式求主合取范式 设 没有出现的极小项是 其中t=2n?s, 于是 * 主合取范式(续) 例21 求A=(?p??q?r)?(?p?q?r)?(p?q?r)的主合取范式 解：已经有了主析取范式，即 A ? m1? m3? m7 ? M0 ? M2 ? M4 ? M5 ? M6 矛盾式的主合取范式含全部2n个极大项 重言式的主合取范式不含任何极大项, 记作1 1.4 命题逻辑推理理论 1.4.1 推理的形式结构 推理的前提与