三值模型

three-valued model