Aby stwierdzić czy dane wyrażenie jest tautologią stosujemy tak zwaną metodę zero-jedynkową.
Przeanalizujemy ją na przykładzie I prawa de Morgana.
Wpisujemy do tabelki wszystkie zdania jakie występują w wyrażeniu ( w naszym przypadku p oraz q).
Wypełniamy dwie pierwsze kolumnymi zerami i jedynkami tak, aby uwzględnić wszystkie przypadki.
Dla dwóch zdań mamy 4 mozliwości:
- oba zdania są fałszywe ( mamy 0 i 0 )
- pierwsze zdanie jest fałszywe a drugie prawdziwe ( mamy 0 i 1)
- pierwsze zdanie jest prawdziwe a drugie fałszywe ( mamy 1 i 0)
- oba zdania są prawdziwe ( mamy 1 i 1)
W kolejnej kolumnie zapisujemy koniunkcję dwóch zdań p i q. Korzystając z tabelki koniunkcji wypełniamy kolumnę odpowiednimi wartościami.
Kolejnym krokiem jest zaprzeczenie koniunkcji, więc zmieniamy wartości z kolumny trzeciej na przeciwne.
Kolejnym krokiem jest wyznaczenie zaprzeczenia zdania p, więc zaprzeczamy wartościom umieszczonym w pierwszej kolumnie.
Tym razem zaprzeczamy zdaniu q. Korzystamy zatem z wartości z drugiej kolumny i zamieniamy je na przeciwne.
W kolejnym kroku rozpatrujemy alternatywę wartości z piątej oraz szóstej kolumny.
Na koniec mamy strony prawą i lewą połączone symbolem równoważności.
Jeżeli w ostatniej kolumnie otrzymamy tylko jedynki to wyrażenie jest tautologią czyli prawem rachunku zdań.
Poniżej wykorzystując tę metodę sprawdzę kolejne wyrażenia, ale będę wypełniała od razu całe tabelki.
Przykład 1
Sprawdź czy wyrażenie 
jest tautologią.
Rozwiązanie
Przykład 2
Sprawdź czy wyrażenie 
jest tautologią.
Rozwiązanie
Przykład 3
Sprawdź czy wyrażenie 
jest tautologią.
Rozwiązanie
Przykład 4
Sprawdź czy wyrażenie
jest tautologią.
Rozwiązanie
Przykład 5
Sprawdź czy wyrażenie 
jest tautologią.
Rozwiązanie
