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

摘要

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