勵志

勵志人生知識庫

求主析取範式的方法

求主析取範式的方法主要有以下幾種:

等值演算法:這是一種按照步驟推導公式的方法,最終得到主合取範式或者主析取範式。例如,對於公式 p∨q∨¬r,p∨¬q∨¬r,¬p∨q∨¬r,¬p∨¬q∨r,可以反推出它的主析取範式⇔(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧¬r)。

真值表法:把真值表寫出來後,把真值為1的項析取的結果就是主析取範式。例如,對於公式 p→¬Q)∨(P↔R),將真值表中為1的所有解釋寫成析取形式就得到析取範式。

配湊法:這是一種直接配出來主析取範式(主合取範式)的每一個最小項(最大項)的方法。例如,對於公式 pq+p'r,可以把原式化成 析取式(與或式) => 原式 = pq + p'r(原本就是與或式),然後求主析取範式,缺少的變元以x + x'的形式補上。

以上三種方法都可以求出主析取範式,具體使用哪種方法取決於具體情況和個人偏好。