主范式的应用-2014091522053249

【文件属性】：

文件名称：主范式的应用-2014091522053249

文件大小：477KB

文件格式：PPT

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

java

主范式的应用 1.求公式的成真成假赋值 设公式A含n个命题变项, A的主析取范式有s个极小项, 则A 有s个成真赋值, 它们是极小项下标的二进制表示, 其余2n-s 个赋值都是成假赋值 例如 (pq)r  m1m3m5 m6m7 成真赋值为 001, 011, 101, 110, 111， 成假赋值为 000, 010, 100. 类似地，由主合取范式也立即求出成假赋值和成真赋值.