【文件属性】:
文件名称:主范式的应用-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
主范式的应用
1.求公式的成真成假赋值
设公式A含n个命题变项, A的主析取范式有s个极小项, 则A
有s个成真赋值, 它们是极小项下标的二进制表示, 其余2n-s
个赋值都是成假赋值
例如 (pq)r m1m3m5 m6m7
成真赋值为 001, 011, 101, 110, 111,
成假赋值为 000, 010, 100.
类似地,由主合取范式也立即求出成假赋值和成真赋值.