对称三值逻辑系的环和标准型

摘要

本文提出了由乘积运算及环和运算构成的对称三值逻辑系的函数展开公式及由其构成的环和标准型,作为对称三值逻辑函数标准型的一个补充。由于环和运算属于代数运算系统,因而克服了对称三值逻辑系中现有的最小项逻辑和标准型中由于或运算一般来说不能应用结合律和分配律而对逻辑函数的分析和研究带来的困难。