证明两个函数是否相等，只要比较它们的真值表是否相同即可。