基于整数序列表示的逻辑函数化简

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

The Simplification of Logic Functions Based on Integer Lists Forms

In a symbolic system of logic algebra, authors develop a compact data structure of the logic functions based on integer-lists, with every logic function represented by integer-lists and every simple item by one or two integers, and the methods based on integer-lists are easily mechanized. Based on the Q-M simplification method, we present an improved algorithm with the form of integer-lists, which looks for the redundant variables only within the same class and can output all the simplest sum-of-product expressions.