若两个函数具有不同的真值表,则两个逻辑函数必然不相等。
出自:西安交通大学——数字逻辑电路