求公式主范式的步骤-2014091522053249

【文件属性】：

文件名称：求公式主范式的步骤-2014091522053249

文件大小：477KB

文件格式：PPT

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

java

求公式主范式的步骤 求公式主析取范式的步骤: 设公式A含命题变项p1,p2,…,pn (1) 求A的析取范式A=B1 B2 …  Bs , 其中Bj是简单合取 式 j=1,2, … ,s (2) 若某个Bj既不含pi, 又不含pi, 则将Bj展开成 Bj  Bj(pipi)  (Bjpi)(Bjpi) 重复这个过程, 直到所有简单合取式都是长度为n的极 小项为止 (3) 消去重复出现的极小项, 即用mi代替mimi (4) 将极小项按下标从小到大排列