Kalkulator tablic prawdy (Logic Truth Table)
Wpisz wyrażenie logiczne, a kalkulator wygeneruje tablicę prawdy. Obsługuje AND, OR, NOT, XOR, IMPLIES oraz zapis (p AND q) -> r.
NOT p
•
p AND q
•
p OR q
•
p XOR q
•
p -> q
Do czego przydaje się tablica prawdy?
W kalkulatorze tablic prawdy generujesz wszystkie kombinacje wartości zmiennych i sprawdzasz, czy wyrażenie logiczne jest prawdziwe. To przydatne w matematyce dyskretnej, logice, informatyce (warunki w kodzie) i przy analizie bramek logicznych.
Jeśli robisz zadania z rachunku prawdopodobieństwa i logiki jednocześnie, przyda się też kalkulator prawdopodobieństwa, a do przekształceń i równań funkcja liniowa. W algebrze liniowej często obok pojawiają się wyznaczniki macierzy.
Wzór i logika obliczeń
Kalkulator bierze listę zmiennych (np. p, q, r), tworzy wszystkie kombinacje prawda/fałsz (łącznie 2^n wierszy) i oblicza wartość wyrażenia w każdym wierszu.
Priorytety operatorów są następujące: NOT (najwyżej), potem AND, następnie XOR, potem OR, a na końcu IMPLIES (najniżej, wiąże prawostronnie).
Jak rozumieć implikację?
p -> q jest fałszywe tylko wtedy, gdy p jest prawdą, a q jest fałszem. We wszystkich innych przypadkach jest prawdą.
Przykład obliczeń
Weźmy wyrażenie (p AND q) -> r. Dla p=1, q=1, r=0 mamy: (1 AND 1) = 1, a 1 -> 0 jest fałszem. Dla p=0, q=1, r=0: (0 AND 1)=0, a 0 -> 0 jest prawdą.
Jeśli wpisujesz „tablica prawdy dla (p AND q) -> r”, kalkulator pokaże pełną tabelę oraz (opcjonalnie) kolumny podwyrażeń.
Zadanie przykładowe i rozwiązanie (1)
Zadanie: Zbuduj tablicę prawdy dla wyrażenia NOT p OR q i sprawdź, kiedy jest fałszywe.
Rozwiązanie: Wpisz NOT p OR q. Fałsz pojawi się tylko dla p=1 i q=0, bo wtedy NOT p = 0 i q = 0, więc OR daje 0.
To częste pytanie: „kiedy NOT p OR q jest fałszywe?”.
Zadanie przykładowe i rozwiązanie (2)
Zadanie: Dla p XOR q sprawdź, w ilu przypadkach wynik jest prawdą.
Rozwiązanie: Wpisz p XOR q. XOR jest prawdą dokładnie wtedy, gdy wartości są różne: (1,0) lub (0,1) – czyli w 2 z 4 wierszy.
To odpowiada zapytaniu „XOR tablica prawdy”.
Tabela: skrót zasad operatorów
| Operator |
Zapis |
Kiedy daje prawdę? |
| NOT | NOT p, !p, ~p | gdy p jest fałszem |
| AND | p AND q, p & q | gdy p i q są prawdą |
| OR | p OR q, p | q | gdy przynajmniej jedno jest prawdą |
| XOR | p XOR q, p ^ q | gdy dokładnie jedno jest prawdą |
| IMPLIES | p -> q, p IMPLIES q | fałsz tylko dla p=1 i q=0 |
Jeśli w zadaniach pojawiają się też przeliczenia kątów lub wzory, zobacz stopnie ↔ radiany i kąty w wielokącie.
Tabela porównawcza: OR vs XOR
| p | q | p OR q | p XOR q | Różnica w praktyce |
| 0 | 0 | 0 | 0 | oba fałsz |
| 0 | 1 | 1 | 1 | oba prawda |
| 1 | 0 | 1 | 1 | oba prawda |
| 1 | 1 | 1 | 0 | OR „przepuszcza”, XOR wymaga różności |
Do tematów kombinatorycznych, które często idą razem z logiką, przydaje się symbol Newtona i prawdopodobieństwo.
Ciekawostka
Implicacja p -> q bywa myląca na początku, bo gdy p jest fałszem, całe wyrażenie jest prawdą niezależnie od q. To wynika z definicji „jeśli p, to q” w logice matematycznej.
Najczęstsze błędy i jak zwiększyć dokładność wyniku
- Brak nawiasów – gdy mieszają się OR, AND i IMPLIES, dodaj nawiasy, żeby uniknąć nieporozumień.
- Mylenie XOR z OR – XOR wymaga dokładnie jednego „prawda”, OR dopuszcza oba.
- Za dużo zmiennych – liczba wierszy rośnie jak 2^n. Jeśli tablica robi się ogromna, zmniejsz liczbę zmiennych albo limit wierszy.
- Literówki w operatorach – używaj AND/OR/NOT/XOR/IMPLIES lub symboli (!, &, |, ^, ->).
Jeśli wpisujesz „tablica prawdy generator”, najczęściej problemem są nawiasy i priorytety – ten kalkulator pokazuje też znormalizowane wyrażenie.
Praktyczne zastosowania w dwóch sytuacjach
Sprawdzanie równoważności
Jeśli dwa wyrażenia mają identyczną kolumnę wyników dla wszystkich wierszy, są równoważne logicznie. Wklej pierwsze, potem drugie i porównaj.
Bramki logiczne
XOR, AND i OR odpowiadają bramkom w elektronice. Tablica prawdy pozwala szybko sprawdzić, jakie sygnały wejściowe dają 1 na wyjściu.
Jeśli liczysz też proste zależności „z tekstu”, przyda się reguła trzech, a do algebry funkcja liniowa.
Wskazówka od KalkulatorXXL
Gdy wyrażenie jest długie, włącz kolumny podwyrażeń. Wtedy od razu widać, w którym fragmencie „zmienia się” wynik końcowy.
FAQ – Tablica prawdy i wyrażenia logiczne
Wpisz (p AND q) -> r i kalkulator wygeneruje wszystkie kombinacje p, q, r oraz wynik. Implikacja jest fałszywa tylko przy p=1, q=1, r=0 (bo wtedy (p AND q)=1 i 1 -> 0 = fałsz).
Możesz wpisać IMPLIES albo symbol ->. Przykład: p -> q.
NOT p OR q jest fałszywe tylko dla p=1 i q=0. Wpisz wyrażenie, a zobaczysz to w tabeli.
OR jest prawdą także dla (1,1), a XOR jest wtedy fałszem. XOR jest prawdą tylko gdy dokładnie jedna wartość jest prawdą.
Kolejność liczenia to: NOT, potem AND, potem XOR, potem OR, a na końcu IMPLIES. Jeśli chcesz mieć pewność, dodaj nawiasy.
Tablica ma 2^n wierszy. Dla 4 zmiennych to 16, dla 6 zmiennych 64, dla 10 zmiennych 1024.
W logice matematycznej implikacja jest fałszywa tylko dla p=1 i q=0. Gdy p=0, nie ma sytuacji „prawda prowadzi do fałszu”, więc wyrażenie uznaje się za prawdziwe.
NOT wpisz jako ! lub ~. AND jako &, OR jako |, XOR jako ^, a IMPLIES jako ->.
Tak. Zaznacz opcję „Dodaj kolumny dla podwyrażeń”, a zobaczysz wartości dla fragmentów typu (p AND q) obok wyniku końcowego.