Math 布尔逻辑析取范式与简化DNF

所以我用了这个表达式

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

一直到

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

这是正确的，当我把它输入到

MATLAB

中时，除非2相互抵消。最简单的方法是什么。我很困惑

我觉得：

(¬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)

---

我的简化在MATLAB中工作，除非两位错误并导致结果变为正。这本身就表明你在简化过程中犯了一些错误@JamesDonnelly