OR情况 TRUE>UNKNOW>FALSE 与unknow运算不可能为falseAND情况 FALSE>UNKNOW>TRUE 与unknow运算不可能为true排中律无法成立 NULL 值存在NOT IN 不等同于 NOT EXISTS NOT IN 转换成 NOT (条件1or条件2or条件n) 等价于(非条件1and非条件2and非条件n) 当有unknow不可能为true