文件名称：练习求公式的主范式-2014091522053249
文件大小：477KB
文件格式：PPT
更新时间：2024-04-13 04:28:46
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