布尔代数中“互斥”项的含义是什么？

Question

我正在阅读一篇关于自双功能的文章。它说任何布尔函数只有在以下情况下才是自对偶的：

1. 最小项数等于最大项数。
2. 函数不应包含两个互斥的术语。

这里的“互斥”是什么意思？请，如果有人可以解释“互斥”术语背后的基本逻辑。在什么意义上，两个布尔表达式“互斥”？

谢谢！

文章链接：

https://www.geeksforgeeks.org/self-dual-functions-in-digital-logic/

Answer 1

如this related post中所述：

一个布尔函数称为自对偶，如果它通过否定所有输入来否定。

如果函数包含两个minterms，在每个字面量中都相互矛盾，则它不能是自对偶的。

示例：

三输入函数具有最小术语abc 和!a!b!c。因此，对于a=1, b=1, c=1，其函数值为'1'。对于a=0, b=0, c=0，它也是“1”。但是，作为一个自对偶函数，对于后一种反相输入组合，它应该为“0”。