Internetowy upraszczacz map Karnaugh
Wpisz mintermy 0–15, a narzędzie uprości funkcję logiczną do minimalnej postaci SOP. Automatyczne wnioskowanie zmiennych, przykład 1,3,5,7 → C.
Rozpocznij
Minimalizacja funkcji logicznych krok po kroku
To narzędzie pomaga uprościć funkcję logiczną zadaną przez mintermy. Zamiast ręcznie grupować jedynki w siatce Karnaugha, wpisujesz indeksy, a narzędzie znajduje najkrótsze wyrażenie sumy produktów (SOP).
Przykład działania
Zakładając, że chcesz uprościć funkcję z mintermami 1, 3, 5, 7 (dla trzech zmiennych A, B, C), narzędzie:
- określa liczbę zmiennych jako 3 (największy indeks 7 wymaga 3 bitów),
- generuje wszystkie możliwe kostki (implicants),
- wybiera te, które pokrywają tylko podane mintermy,
- optymalizuje liczbę składników i literałów,
- zwraca wyrażenie
C(ponieważ wszystkie mintermy mają C=1).
Dokładne parametry i ograniczenia
Narzędzie przyjmuje indeksy od 0 do 15. Nie ma osobnego pola na liczbę zmiennych – jest ona wnioskowana z największego indeksu. Nie obsługuje stanów nieokreślonych (don't-care), postaci iloczynu sum (POS), optymalizacji pod kątem hazardów ani wizualnej siatki. Zmienne są nazywane A, B, C, D od najbardziej znaczącego bitu do najmniej znaczącego. Wykrzyknik (!) oznacza negację, a plus (+) – alternatywę.
Najczęstsze pytania
Jak wprowadzić mintermy?
Wpisz liczby całkowite od 0 do 15, oddzielone spacjami lub przecinkami. Duplikaty są ignorowane. Na przykład „0, 2, 4, 6” lub „0 2 4 6”.
Co oznacza wynik „1”?
Jeśli podasz wszystkie możliwe mintermy dla danej liczby zmiennych (np. 0–7 dla 3 zmiennych), funkcja jest zawsze prawdziwa, więc wynikiem jest stała logiczna 1.
Czy mogę zachować nieużywane zmienne wiodące?
Nie. Liczba zmiennych jest zawsze wnioskowana z największego indeksu, więc nie można wymusić np. czterech zmiennych, jeśli największy indeks to 7.
Wpisz 1–16 liczb całkowitych od 0 do 15, rozdzielonych przecinkami, średnikami lub białymi znakami; duplikaty liczą się do limitu 16 przed usunięciem. Zakresy jak 0-7 i wyrażenia boolowskie nie są obsługiwane. ! przed zmienną oznacza NIE, sąsiadujące zmienne I, a + LUB. Pusta lista jest odrzucana, nie oznacza stałej 0. Wynik stały 1 pomija listę kanoniczną. Brak graficznej siatki i ręcznej szerokości.
Przetwarzanie odbywa się lokalnie w przeglądarce.