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