小编aA-*_*aA-的帖子

我想简化一个布尔表达式.
表达式是这样的

X1 xor (X2 || X3 &&  X4 || x5)

如何使用布尔代数规则简化此表达式.

此外,我想将上面的布尔表达式转换为CNF格式,所以我该怎么做.