Petrick’s Method
S. R. Petrick. A direct determination of the irredundant
forms of a boolean function from the set of prime
implicants. Technical Report AFCRC-TR-56-110, Air
Force Cambridge Research Center, Cambridge,
Goal: Given a prime implicant chart, determine
all minimum sum-of-products solutions.