布爾邏輯析取範式和簡體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) 

但不是這樣的：在MATLAB

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