The Simplification of Logic Functions Based on Integer Lists Forms
Shiping Chen · Journal of Sichuan University · 2004
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.