数理逻辑课件 第3节 主析(合)取范式.pptVIP

(p??q)?r ? m1?m3?m5? m6?m7 (主析取范式) ? M0?M2?M4 (主合取范式) 实 例 注：(1) 由主析取范式求主合取范式； (2) 由主合取范式求主析取范式. */49 由主析取范式确定主合取范式 例2 设A有3个命题变项, 且已知A= m1?m3?m7, 求A 的主合取范式. 解：A的成真赋值是1,3,7的二进制表示, 成假赋值是 在主析取范式中没有出现的极小项的下角标0,2,4,5,6 的二进制表示, 它们恰好是A的主合取范式的极大项 的下角标, 故 A ? M0?M2?M4?M5?M6 由主析(合)取范式确定主合(析)取范式 说明：由主合取范式确定主析取范式. */49 例2’ 设A有3个命题变项, 且已知001,011,111为A的成 真赋值，求A的主合取范式和主析取范式. 解： A的主析取范式 A ? m1?m3?m7 A的主合取范式 A ? M0?M2?M4?M5?M6 用成真和成假赋值确定主范式 问题：用成真和成假赋值如何确定主析(合)取范式? 或者 用真值表如何求解主析(合)取范式？ 说明：求解主析取范式和主合取范式的方法. */49 主范式的应用