【文件属性】:
文件名称:求公式主范式的步骤-2014091522053249
文件大小:477KB
文件格式:PPT
更新时间:2021-03-24 10:42:06
java
求公式主范式的步骤
求公式主析取范式的步骤:
设公式A含命题变项p1,p2,…,pn
(1) 求A的析取范式A=B1 B2 … Bs , 其中Bj是简单合取
式 j=1,2, … ,s
(2) 若某个Bj既不含pi, 又不含pi, 则将Bj展开成
Bj Bj(pipi) (Bjpi)(Bjpi)
重复这个过程, 直到所有简单合取式都是长度为n的极
小项为止
(3) 消去重复出现的极小项, 即用mi代替mimi
(4) 将极小项按下标从小到大排列