论文部分内容阅读
作者在开发一个逻辑代数符号系统中,引入了逻辑函数的一种紧凑的基于整数序列表达方式,将每一个逻辑函数用一个整数序列来描述,每一个简单项用一个或两个整数来表达.基于整数序列的表示方式特别便于机械化.在逻辑函数Q-M化简法的基础上,提出了一个改进的基于整数运算的逻辑函数化简法.该算法只在同类简单项中寻找冗余变量,能输出具有最少的项数,且在项数相等的情况下又具有最少因子总数的所有最简与或式.