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

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

三值逻辑函数表格法最小化的一种新方法

根据格代数公式,对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中,采用找出满足下述 条件最小项的策略:一是相邻最小项的数量为3的m次或者m-1次幂,同时保证m数值尽量大(m=1,2,…)。二是最小项的逻辑值为“1”或“2。为此,利用避开最邻近的最小项方法(该最小项逻辑值小于被选择最小项的逻辑值),从而减少了冗余项的数量。这种 方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。