Generator tabeli prawdy online

Funkcje i możliwości narzędzia

Generator tabeli prawdy to niezawodny kalkulator boolowski, który pomaga weryfikować wyrażenia logiczne, uczyć się logiki lub testować formuły przed użyciem w programowaniu.

Przykład działania

Dla wyrażenia A && !B narzędzie wygeneruje tabelę z wierszami dla wszystkich kombinacji A i B (00, 01, 10, 11). Wynik będzie równy 1 tylko w wierszu, gdzie A=1 i B=0, zgodnie z oczekiwaniami.

Obsługiwane operatory i składnia

• Operatory: ! (NOT), && (AND), || (OR) oraz słowa NOT, AND, OR.
• Stałe: true i false.
• Nawiasy do grupowania.
• Kolejność operatorów: NOT, potem AND, potem OR.

Ograniczenia

• Maksymalnie 6 różnych zmiennych (do 64 wierszy).
• Brak obsługi XOR, implikacji, równości, wartości bitowych, logiki wielowartościowej ani „don't-care”.
• Narzędzie nie jest symulatorem układów ani upraszczaczem wyrażeń.
• Kolejność zmiennych wynika z ich pierwszego wystąpienia w wyrażeniu.

Lista kontrolna przed użyciem

• Sprawdź, czy wyrażenie nie zawiera niedozwolonych znaków.
• Upewnij się, że nawiasy są poprawnie domknięte.
• Zmienne powinny być jednoliterowe lub ASCII (bez polskich znaków).
• Pamiętaj, że wynik jest w formacie tekstowym z separatorem tabulacji.

Najczęstsze pytania (FAQ)

1. Czy mogę używać polskich liter w nazwach zmiennych?

Nie, narzędzie akceptuje tylko zmienne ASCII (litery bez znaków diakrytycznych). Użyj np. A, B, C.

2. Jak wprowadzić wyrażenie z XOR?

Narzędzie nie obsługuje operatora XOR. Możesz je zastąpić równoważnym wyrażeniem, np. (A && !B) || (!A && B).

3. Co oznacza wynik 0 lub 1 w ostatniej kolumnie?

0 oznacza fałsz, 1 oznacza prawdę. Wynik jest obliczany dla każdego przypisania zmiennych.