Tabela prawdy — logika zdań online
Wpisz wyrażenie logiczne z p, q, r i zobacz tabelę prawdy oraz czy to tautologia.
Umieść to narzędzie na swojej stronie
Bezpłatnie, bez rejestracji. Widżet pokazuje na dole napis „Narzędzie udostępnia AMKBIT.pl”.
Jak wpisywać
Zmienne to litery, np. p, q, r. Działania: ¬ lub ! (negacja), ∧ lub & (koniunkcja), ∨ lub | (alternatywa), → lub -> (implikacja), ↔ lub <-> (równoważność), ⊕ lub xor (alternatywa wykluczająca). Można też pisać słowami: not, and, or, nie, lub. Kolejność działań: negacja, koniunkcja, XOR, alternatywa, implikacja, równoważność. Nawiasy zmieniają kolejność.
Przykłady
Prawo kontrapozycji
(p → q) ↔ (¬q → ¬p) jest prawdziwe dla wszystkich czterech wartościowań, więc to tautologia.
Prawo de Morgana
¬(p ∧ q) ↔ (¬p ∨ ¬q) również daje same jedynki.
Najczęstsze pytania
Kiedy implikacja jest fałszywa?
Tylko wtedy, gdy poprzednik jest prawdziwy, a następnik fałszywy (1 → 0).
Ile wierszy ma tabela?
2 do potęgi liczby zmiennych: dla trzech zmiennych 8 wierszy.
Poradniki
Wynik ma charakter pomocniczy. Przy ważnych decyzjach (finansowych, technicznych, zdrowotnych) sprawdź go niezależnie. Zasady korzystania.