Metoda Petricka znana również jako metoda podziału i ograniczeń w algebrze Boole’a została opisana przez Stanleya R. Petricka (1931–2006) w 1956 roku do określenia wszystkich rozwiązań minimalnych sum iloczynów metody Quine’a-McCluskeya. Metoda Petricka jest bardzo żmudna dla dużej liczby zmiennych, ale jest łatwa do implementacji na komputerze. Redukujemy wykres implikantów prostych przez eliminację istotnych implikantów prostych – ich wierszy i odpowiednich kolumn. Oznaczamy wiersze zredukowanego wykresu przez itd. Tworzymy funkcję logiczną która jest true, kiedy wszystkie kolumny są pokryte. P składa się z iloczynu sum, gdzie każda suma ma postać gdzie każdy reprezentuje wiersz pokrywający kolumnę Redukujemy do minimalnej sumy iloczynów przez wymnożenie i zastosowanie Każdy człon rezultatu prezentuje rozwiązanie, to znaczy zbiór wierszy, które pokrywają wszystkie iloczyny zupełne tabeli.