離散數學-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

>>阅读原文<<