离散数学-2 命题逻辑等值演算

求公式主析取范式的方法步骤: 方法一：等值演算 设公式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

>>阅读原文<<