F1-37
Metody minimalizacji
"  Ręczne przekształcanie wyrażeń z zastosowaniem praw
algebry Boole a:
Y = ABC + ABC = AB(C + C) = AB Å"1 = AB
Stosuje się tylko do prostych wyrażeń boolowskich  należy
dostrzec możliwość redukcji.
"  Ręczna metoda graficzna siatek Karnaugh.
Stosuje się do funkcji o małej liczbie zmiennych (3, 4 
teoretycznie 5, 6).
" Metoda algorytmiczna Quine a  McCluskeya.
Systematyczne porównywanie mintermów różniących się
stanem jednej zmiennej, w celu jej wyeliminowania.
Stosuje siÄ™ w komputerowych programach minimalizacji dla
funkcji do 10  12 zmiennych.
Wada: forma minimalizowana musi być przedstawiona w
postaci sumy mintermów (kanoniczna forma sumacyjna) 
metoda  oparta na mintermach .
Na przykład, przy minimalizacji form o n zmiennych term
dwuliterowy musiałby być przekształcony do sumy 2n - 2
mintermów. Np. n = 20 º% 218 mintermów.
" Metoda algorytmiczna Espresso  heurystyczna,  oparta na
kostkach przetwarzanych bezpośrednio.
© J. Kalisz, J. PasierbiÅ„ski, WAT, 2007