Funkcja logiczna może być w ogólnym przypadku przedstawiona za pomocą wielu różnych mniej lub bardziej skomplikowanych funkcji logicznych. Zagadnienie minimalizacji polega na wyznaczeniu dla danej funkcji tej formuły która jest najprostsza. Zagadnienie to formułuje się też inaczej – dla danej funkcji logicznej należy wyznaczyć możliwą najprostszą funkcję równoważną.
Minimalizacja funkcji logicznej wiąże się z porównaniem stopnia skomplikowania funkcji. Dla porównania funkcji wprowadza się pojęcie współczynnika skomplikowania definiowanego w rożny sposób. Jedna z możliwych definicji współczynnika skomplikowania brzmi:
Współczynnikiem skomplikowania W funkcji logicznej i (and), lub (or), nie (not) nazywamy sumę liczby wyrażeń (pojedynczych liter lub ich kombinacji) podlegających mnożeniu i liczby wyrażeń podlegających dodawaniu.
Metody minimalizacji funkcji logicznych można podzielić na dwie grupy. Do pierwszej grupy należą metody przekształceń algebraicznych. Metody te nie są zbyt przydatne w praktyce. Do drugiej grupy należą metody algorytmiczne.
Metoda Quine’a McCluskeya
Całość w załączniku
Przeczytaj podobne teksty
Treść zweryfikowana i sprawdzona
Zgodnie z misją, Redakcja serwisu dokłada wszelkich starań, aby dostarczać rzetelne i sprawdzone treści edukacyjne.
Dodatkowe oznaczenie "Sprawdzona treść" wskazuje, że dany materiał został zweryfikowany przez Redakcję lub ekspertów współpracujących z serwisem.
Weryfikacja tekstu odbywa się na następujących poziomach:
1. Sprawdzenie tekstu pod kątem ewentualnych błędów ortograficznych, stylistycznych, interpunkcyjnych lub innych.
2. Weryfikacja tekstu pod kątem błędów rzeczowych.
3. Sprawdzenie materiału pod kątem ich aktualności.
Dodatkowe oznaczenie "Sprawdzona treść" wskazuje, że dany materiał został zweryfikowany przez Redakcję lub ekspertów współpracujących z serwisem.
Weryfikacja tekstu odbywa się na następujących poziomach:
1. Sprawdzenie tekstu pod kątem ewentualnych błędów ortograficznych, stylistycznych, interpunkcyjnych lub innych.
2. Weryfikacja tekstu pod kątem błędów rzeczowych.
3. Sprawdzenie materiału pod kątem ich aktualności.