math - ブール論理論理和の正規形と簡略化された DNF

Question

だから私は式を取った

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

までずっと

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

MATLAB2が相殺しない限り入力するとこれが正しい。これを実現する最も簡単な方法は何ですか。私は困惑している。

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)