若两个函数具有相同的真值表，则这两个逻辑函数必然相等。