卡谢维奇提出的三值逻辑系统大致脗合。另外，数学家亦证明了如果将一元和二元向量逻辑运算子施加于该集合属下的概率向量，则其输出值亦必属于该集合。
布尔多项式.乔治·布尔确立了以多项式演绎逻辑运算的学说发展。一元逻辑运算子（例如恆等或否定）的布尔多项式可用以下的方式表示：根据二值逻辑的值，可以得出四个一元逻辑运算式：恆等式要求 "f"(1) = 1 、"f"(0) = 0，否定式则要求 "f"(1) = 0、"f"(0) = 1。如果从相对应的真值表抽取相应的系数 "f"，二元逻辑运