Narzędzie online do konwersji tabeli prawdy na wyrażenie logiczne
Generuj wyrażenie logiczne (DNF) z tabeli prawdy. Podaj zmienne i mintermy, otrzymaj wynik w postaci !, &&, ||. Przetwarzanie odbywa się lokalnie w przegląda…
Rozpocznij
Jak działa konwersja tabeli prawdy na wyrażenie?
Narzędzie tworzy wyrażenie logiczne na podstawie indeksów mintermów. Dla zmiennych A,B i mintermów 1,2 wynik to (!A && B) || (A && !B). Każdy wybrany wiersz tabeli prawdy odpowiada pełnemu mintermowi zawierającemu wszystkie zmienne.
Przykład praktyczny
Zakładając zmienne A,B,C i mintermy 0,3,5, narzędzie wygeneruje wyrażenie: (!A && !B && !C) || (!A && B && C) || (A && !B && C).
Ograniczenia narzędzia
- Nie minimalizuje wyrażenia – wynik jest w kanonicznej postaci DNF.
- Nie akceptuje pozycji „don't-care”.
- Nie generuje postaci CNF/POS ani schematów bramek.
- Nie importuje tabeli prawdy w formie tabelarycznej.
Najczęstsze pytania
Jak interpretować wynik?
Wyrażenie używa ! dla negacji, && dla koniunkcji i || dla alternatywy. Każdy człon odpowiada jednemu wierszowi, w którym funkcja ma wartość 1.
Czy mogę podać mintermy w dowolnej kolejności?
Tak, narzędzie usuwa duplikaty i nie wymaga sortowania. Kolejność nie wpływa na wynik.
Co się stanie, jeśli podam więcej niż 6 zmiennych?
Narzędzie przyjmuje maksymalnie 6 zmiennych. Wprowadzenie większej liczby spowoduje błąd.
Przetwarzanie odbywa się lokalnie w przeglądarce.