Shows how operator overloading can be used to implement a three-valued logical type.

• 演示如何使用运算符重载实现三值逻辑类型。