Konwerter wyrażeń boolowskich online

Funkcje i przykłady

Jakie wyrażenia można konwertować?

Narzędzie akceptuje wyrażenia z operatorami NOT (!), AND (&&) i OR (||), nawiasami oraz stałymi true/false. Operatory i stałe są rozpoznawane bez względu na wielkość liter, ale nazwy zmiennych są rozróżniane (A i a to różne zmienne). Przykład: A && (B || !C) jest poprawnym wyrażeniem.

Przykład działania

Dla wyrażenia A && (B || !C) narzędzie generuje tabelę prawdy z 8 wierszami (3 zmienne). Wiersze, w których wyrażenie jest prawdziwe, to: 100, 110 i 111 (gdzie 1 = prawda, 0 = fałsz). Postać DNF to: (A && !B && !C) || (A && B && !C) || (A && B && C). Postać CNF jest również wyświetlana.

Ograniczenia

Narzędzie obsługuje maksymalnie 6 różnych zmiennych, co daje do 64 wierszy tabeli. Nie obsługuje operatorów XOR, implikacji, równoważności, stałych liczbowych 0/1 ani diagramów układów. Formy kanoniczne nie są minimalizowane – do minimalizacji użyj osobnego narzędzia do siatek Karnaugha.

Prywatność

Całe przetwarzanie odbywa się lokalnie w przeglądarce – żadne dane nie są wysyłane na serwer.

Najczęstsze pytania

Jakie operatory są obsługiwane?

Obsługiwane są NOT (!), AND (&&) i OR (||). Można używać słownych odpowiedników (np. NOT, AND, OR) – są one rozpoznawane bez względu na wielkość liter.

Co zrobić, jeśli pojawia się błąd „Too many variables”?

Oznacza to, że użyto więcej niż 6 różnych zmiennych. Zmniejsz liczbę zmiennych lub podziel wyrażenie na części.

Czy narzędzie minimalizuje formy kanoniczne?

Nie, narzędzie podaje pełne formy kanoniczne (DNF i CNF) bez minimalizacji. Do upraszczania użyj narzędzia do siatek Karnaugha.

Lista kontrolna

• Sprawdź, czy używasz dozwolonych operatorów i nawiasów.
• Upewnij się, że liczba zmiennych nie przekracza 6.
• Zweryfikuj poprawność składni – narzędzie odrzuca błędne wyrażenia.
• Interpretuj wyniki: tabela prawdy pokazuje wszystkie kombinacje, a DNF/CNF to kanoniczne reprezentacje.