Impkementation of the QuinnMcluskeys reduction algorithm for 4 variables