. . . "f intermediate results and thereby improve performance. [0177] The improved matrix conversion methodology of the present invention is an effective compromise between generating useful sets of prime implicates and being space efficient." .