练习(续)-2014091522053249

【文件属性】：

文件名称：练习(续)-2014091522053249

文件大小：477KB

文件格式：PPT

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

java

练习2(续) 解 用等值演算法求公式的主范式 (pq)p  (pq)p  p  (pq)(pq)  m0  m1 主析取范式  M2  M3 主合取范式 (3) (pq)p 非重言式的可满足式