布尔逻辑析取正常形式和简化DNF

时间:2013-10-30 10:06:07

标签: math boolean logic

所以我采用了表达式

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

一直到

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

当我将其输入MATLAB时,这是正确的,除非2互相取消。实现这一目标的最简单方法是什么?我很困惑。

1 个答案:

答案 0 :(得分: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)