Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我想简化一个布尔表达式。 表达式是这样的
X1 xor (X2 || X3 && X4 || x5)
如何使用布尔代数规则简化此表达式。
此外,我想将上述布尔表达式转换为 CNF 形式,我该怎么做。
如果您认为这A XOR B等效于(A AND ~B) OR (~A AND B)那么其余的应该很容易。
A XOR B
(A AND ~B) OR (~A AND B)
写a xor b为:
a xor b
a != b
或者:
!(!a || b) && !(a || !b)