【文件属性】:
文件名称:练习求公式的主范式-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
练习3:求公式的主范式
3.已知命题公式A中含3个命题变项p, q, r,并知道它的成真
赋值为001, 010, 111, 求A的主析取范式和主合取范式,及A对
应的真值函数.
解
A的主析取范式为m1 m2 m7
A的主合取范式为M0 M3 M4 M5 M6
p q r F p q r F
0 0 0 0 1 0 0 0
0 0 1 1 1 0 1 0
0 1 0 1 1 1 0 0
0 1 1 0 1 1 1 1