文件名称：基于整数序列表示的逻辑函数化简 (2004年)
文件大小：299KB
文件格式：PDF
更新时间：2024-05-15 22:58:44
自然科学 论文
作者在开发一个逻辑代数符号系统中,引入了逻辑函数的一种紧凑的基于整数序列表达方式,将每一个逻辑函数用一个整数序列来描述,每一个简单项用一个或两个整数来表达,基于整数序列的表示方式特别便于机械化．在逻辑函数Q－M化简法的基础上,提出了一个改进的基于整数运算的逻辑函数化简法该算法只在同类简单项中寻找冗余变量,能输出具有最少的项数,且在项数相等的情况下又具有最少因子总数的所有最简与或式.