布爾邏輯析取范式和簡化的DNF

Question

所以我采取了表達

(¬P∧¬Q∧R∧S)V(¬P∧¬Q∧R∧S)V(¬P∧¬Q∧R∧S)

一直到

(P¬∧Q∧R∧¬S)V(R∧S∧¬P)

當我將其輸入到MATLAB時，這是正確的，除非2個彼此抵消。 實現這一目標的最簡單方法是什么。 我很混亂。

Answer 1

我覺得：

(¬P∧¬Q∧R∧S)V(¬P∧¬Q∧R∧S)V(¬P∧¬Q∧R∧S)

當簡化成為這個：

(¬P∧¬Q∧R∧S)

但不是這個：

(P¬∧Q∧R∧¬S)V(R∧S∧¬P)