如何在Python中实现类SQL NULL语义的三值逻辑？

这是一个很典型的三值逻辑需求，刚好匹配SQL NULL的行为——我来给你一个基于Python标准库的实现方案，同时尽量贴近你想要的常规逻辑运算符用法。

核心思路说明 #

首先得明确：Python的and/or是语言级的短路运算符，无法直接重载它们的行为——因为它们的逻辑是基于对象的原生真值（__bool__方法返回的结果），而三值逻辑的运算规则和原生二值逻辑冲突。所以我们退而求其次，用可以重载的位运算符&（对应AND）、|（对应OR）和~（对应NOT），同时让这个实现完全兼容原生bool类型，并且能像常规布尔值一样做比较判断。

具体实现（基于标准库enum） #

我们用枚举类来封装三个状态：TRUE、UNKNOWN、FALSE，这样既保证单例性，又能清晰对应SQL的三值语义：

from enum import Enum

class TriBool(Enum):
    TRUE = True
    UNKNOWN = None
    FALSE = False

    def __and__(self, other):
        # 把原生bool转换为TriBool实例，统一处理
        if isinstance(other, bool):
            other = TriBool.TRUE if other else TriBool.FALSE
        # 严格按照你给出的真值表映射结果
        result_map = {
            (TriBool.TRUE, TriBool.TRUE): TriBool.TRUE,
            (TriBool.TRUE, TriBool.UNKNOWN): TriBool.UNKNOWN,
            (TriBool.TRUE, TriBool.FALSE): TriBool.FALSE,
            (TriBool.UNKNOWN, TriBool.TRUE): TriBool.UNKNOWN,
            (TriBool.UNKNOWN, TriBool.UNKNOWN): TriBool.UNKNOWN,
            (TriBool.UNKNOWN, TriBool.FALSE): TriBool.FALSE,
            (TriBool.FALSE, TriBool.TRUE): TriBool.FALSE,
            (TriBool.FALSE, TriBool.UNKNOWN): TriBool.FALSE,
            (TriBool.FALSE, TriBool.FALSE): TriBool.FALSE,
        }
        return result_map[(self, other)]

    def __or__(self, other):
        if isinstance(other, bool):
            other = TriBool.TRUE if other else TriBool.FALSE
        result_map = {
            (TriBool.TRUE, TriBool.TRUE): TriBool.TRUE,
            (TriBool.TRUE, TriBool.UNKNOWN): TriBool.TRUE,
            (TriBool.TRUE, TriBool.FALSE): TriBool.TRUE,
            (TriBool.UNKNOWN, TriBool.TRUE): TriBool.TRUE,
            (TriBool.UNKNOWN, TriBool.UNKNOWN): TriBool.UNKNOWN,
            (TriBool.UNKNOWN, TriBool.FALSE): TriBool.UNKNOWN,
            (TriBool.FALSE, TriBool.TRUE): TriBool.TRUE,
            (TriBool.FALSE, TriBool.UNKNOWN): TriBool.UNKNOWN,
            (TriBool.FALSE, TriBool.FALSE): TriBool.FALSE,
        }
        return result_map[(self, other)]

    def __invert__(self):
        # NOT运算逻辑：NOT TRUE=FALSE，NOT FALSE=TRUE，NOT UNKNOWN=UNKNOWN
        not_map = {
            TriBool.TRUE: TriBool.FALSE,
            TriBool.UNKNOWN: TriBool.UNKNOWN,
            TriBool.FALSE: TriBool.TRUE,
        }
        return not_map[self]

    # 支持反向运算（比如原生bool & TriBool实例）
    def __rand__(self, other):
        return self.__and__(other)

    def __ror__(self, other):
        return self.__or__(other)

    # 让实例可以直接和原生bool比较
    def __eq__(self, other):
        if isinstance(other, bool):
            return self.value == other
        return super().__eq__(other)

使用示例 #

用法非常贴近常规布尔值，只是把and换成&，or换成|，not换成~：

# 基础三值运算
print(TriBool.TRUE & TriBool.UNKNOWN)  # 输出: TriBool.UNKNOWN
print(TriBool.UNKNOWN | TriBool.FALSE) # 输出: TriBool.UNKNOWN
print(~TriBool.UNKNOWN)                # 输出: TriBool.UNKNOWN

# 和原生bool混合运算
print(TriBool.TRUE & False)            # 输出: TriBool.FALSE
print(True | TriBool.UNKNOWN)          # 输出: TriBool.TRUE

# 判断状态
x = TriBool.UNKNOWN
print(x is TriBool.UNKNOWN)  # 输出: True（判断未知）
print(x == True)             # 输出: False
print(x == False)            # 输出: False

为什么不用None直接表示未知？ #

你之前尝试用None的问题在于：Python的and/or是基于对象的原生真值判断的——None和False的真值都是False，所以None or False会返回False，完全不符合SQL三值逻辑中"未知 OR 假 = 未知"的规则。自定义枚举类可以完全控制运算逻辑，避免这个问题。

关于and/or的补充说明 #

如果一定要严格使用and/or语法，那只能牺牲短路特性（因为Python不允许重载这两个运算符），比如写自定义函数：

def tri_and(a, b):
    if isinstance(a, bool):
        a = TriBool.TRUE if a else TriBool.FALSE
    if isinstance(b, bool):
        b = TriBool.TRUE if b else TriBool.FALSE
    return a & b

def tri_or(a, b):
    if isinstance(a, bool):
        a = TriBool.TRUE if a else TriBool.FALSE
    if isinstance(b, bool):
        b = TriBool.TRUE if b else TriBool.FALSE
    return a | b

但显然用&/|更简洁直观，也是Python社区处理这类自定义逻辑的常规做法。

内容的提问来源于stack exchange，提问作者Artimis Fowl