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