证明两个函数是否相等,只要比较它们的真值表是否相同即可。
出自:西安交通大学——数字逻辑电路