以下用 A\ 代表 "A的非" ,其它的也雷同。
F = (A ⊕ B) ⊙ AB
= (A\B + AB\) * AB + (A\B + AB\)\ * (AB)\
= (A\B * AB + AB\ * AB) + (A\B + AB\ ) + (AB)
= ( 0 + 0 ) + (A\B + AB\ ) + (AB)
= B + A
看看是不是 线性规划中的对偶问题 线性规划有一个有趣的特性,就是任何一当S和S*重合时,其形式便和数理逻辑、一般布尔代数、射影几何等领域中的