部分四值逻辑中Sheffer函数的判定.pdfVIP

ComputerEngineeringandApplications计算机工程与应用 部分四值逻辑中Sheffer函数的判定 金辉霞 ，何 骞 JIN Huixia，‘HE Qian 1．湖南城市学院 物理与电信工程系，湖南 益阳 413000 2．湖南城市学院 计算机科学系，湖南 益阳 413000 1．DepartmentofPhysicsandTelecom Engineering，Hunan City University，Yiyang，Hunan 413000，China 2．DepartmentofComputerScience，Hunan City University，Yiyang，Hunan 413000，China JIN Huixia，HE Qian·DecisionofShefferfunctionsinpartialfour-valuedlogic．ComputerEngineeringandApplications， 2011．47(29)：140．142． Abstract：Multiplev‘alued logic isthe logic thathasmore than two values．One importantproblem in multiple-valued log