【文件属性】:
文件名称:练习(续)-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
练习2(续)
解 用等值演算法求公式的主范式
(pq)p
(pq)p
p
(pq)(pq)
m0 m1 主析取范式
M2 M3 主合取范式
(3) (pq)p
非重言式的可满足式