1-6 - David Zar - 9/21/2015 Quine's Theorem n Quine s Prime Implicant Theorem : A minimal SOP formula must always consist of a sum of prime implicants if any definition of cost is used in which the addition of a single literal to any formula increases the cost of the formula.
{}