Narzędzie online do konwersji tabeli prawdy na wyrażenie logiczne

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 zmienia funkcji logicznej, ale kolejność składników w zapisie wyniku odpowiada pierwszym wystąpieniom indeksów.

Co się stanie, jeśli podam więcej niż 6 zmiennych?

Narzędzie przyjmuje maksymalnie 6 zmiennych. Wprowadzenie większej liczby spowoduje błąd.

Powtarzające się indeksy mintermów są uwzględniane tylko raz, w kolejności pierwszego wystąpienia. Nazwy AND, OR, NOT, true i false są zastrzeżone bez względu na wielkość liter. Każde pole przyjmuje maksymalnie 500 000 jednostek kodowych UTF-16; ten sam limit dotyczy wygenerowanego wyrażenia. Używaj krótkich nazw, ponieważ każdy wybrany wiersz powtarza wszystkie zmienne. Wyrażenie nie jest minimalizowane. Narzędzie K-map na tej stronie obsługuje maksymalnie cztery zmienne.