三值函数表格法最小化中的消变量与消闭化简

本文在讨论Post代数中三值函数的代数基础、成本计算方法与函数简化准则的基础上提出了兼考虑消变量与消阑化简的三值函数表格法最小化程序.通过实例的化简表明考虑消阂化简后所得的函数的最小化SOP形式要比只考虑消变量化简所得的形式更简单，相应电路的成本更低.

Simplification of Dispelling Variables and Thresholds in Tabular Minimization for Ternary Functions

Based on discussing the Post algebra basis of ternary functions, the way to calculate circuit costs and the norm of function simlification, the paper proposes a new method of tabular minimization for ternary functions. By testing with an example, it shows that the minimized SOP function expressions with both thresholds and variables dispelled are much simpler than that with only variables dispelled, aslo it leads to far less circuit costs.