一类3值逻辑2元Sheffer函数

摘要

3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性，54个3值2元S型函数可分为相互定义的10个组，并且可分为3种类型：117型、135型和333型。其中，117型6个，135型36个，333型12个。通过严格的定义可以证明：只有333型中的6个不是Sheffer函数，其余48个均为Sheffer函数。在此基础上，可以进一步发现并证明大量的其他类Ci 型和类Di型Sheffer函数。