若两个逻辑函数相等,则它们必然具有唯一的真值表