混淆空比较

我意识到比较 NULL 任何其他价值(包括 无效的 )总是会导致错误。

DECLARE @IsSet bit = NULL;

SELECT IIF(@IsSet = 1, 'true', 'false')
SELECT IIF(@IsSet != 1, 'true', 'false')

这将输出:

false
false

但这部分让我困惑:

SELECT IIF(NOT(@IsSet = 1), 'true', 'false')
SELECT IIF(NOT(@IsSet != 1), 'true', 'false')

这也输出:

假
假

我希望 NOT 会将值翻转为true。(如果 @IsSet 第一个表达式设置为0)

似乎与空值的比较对括号外的布尔逻辑具有某种能力。

但是空比较在布尔逻辑上并不是万能的:

SELECT IIF((@IsSet = 1) OR (1=1), 'true', 'false')
SELECT IIF((@IsSet != 1) OR (1=1), 'true', 'false')

这将返回:

true
true

我不明白这里发生了什么,但我想这是故意的。但我不知道为什么。

有人能解释一下为什么 NOT(NULL!=1) 不等于真。