用成真赋值和成假赋值确定主范式-2014091522053249

【文件属性】：

文件名称：用成真赋值和成假赋值确定主范式-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

用成真赋值和成假赋值确定主范式 由主析取范式确定主合取范式 例10 设A有3个命题变项, 且已知A= m1m3m7, 求A的主合取 范式. 解 A的成真赋值是1,3,7的二进制表示, 成假赋值是在主析取 范式中没有出现的极小项的下角标0,2,4,5,6的二进制表示, 它 们恰好是A的主合取范式的极大项的下角标, 故 A  M0M2M4M5M6 由主合取范式确定主析取范式 用真值表确定主范式