德摩根定律无法简化布尔表达式
DeMorgans Law unable to simplify a boolean expression
有一个布尔表达式(A+B)(AB)'。
与这个首字母相比，答案的真值 table 具有类似于 XOR 门之一的匹配组合。我想知道是否存在恒等式，或者是否有可能将完成的答案进一步简化为类似于 XOR 门的东西。我的锻炼如下
(A+B)(AB)'
= (A+B)(A'+B')
= AA' + AB' + BA' + BB'
= 0 + AB' + BA' + 0
= AB' + BA'
我不确定这是否已完全简化，或者是否有另一条路径可以给出正确答案。
（初始转换为电路将有 4 个门，而 "simplified" 版本将有 5 个，除非我计算错误）
提前致谢
XOR 门的身份是 (A+B)(AB)'。尽管在大多数重复 DeMorgans 定律的站点中都没有显示，但它们的真值表具有共同的输出，并且当用 google 搜索 XOR 时，会显示公式 (A+B)(AB)'。因此，(A+B)(AB)' = A xor B或简化版AB' + BA' = A xor B。
有一个布尔表达式(A+B)(AB)'。
与这个首字母相比，答案的真值 table 具有类似于 XOR 门之一的匹配组合。我想知道是否存在恒等式，或者是否有可能将完成的答案进一步简化为类似于 XOR 门的东西。我的锻炼如下
(A+B)(AB)'
= (A+B)(A'+B')
= AA' + AB' + BA' + BB'
= 0 + AB' + BA' + 0
= AB' + BA'
我不确定这是否已完全简化，或者是否有另一条路径可以给出正确答案。 （初始转换为电路将有 4 个门，而 "simplified" 版本将有 5 个，除非我计算错误）
提前致谢
XOR 门的身份是 (A+B)(AB)'。尽管在大多数重复 DeMorgans 定律的站点中都没有显示，但它们的真值表具有共同的输出，并且当用 google 搜索 XOR 时，会显示公式 (A+B)(AB)'。因此，(A+B)(AB)' = A xor B或简化版AB' + BA' = A xor B。