Sprawdzanie zdań logicznych beta

Sprawdzanie, czy wyrażenie klasycznego rachunku zdań jest tautologią przy pomocy metody zero-jedynkowej.
Wyrażenie do sprawdzenia należy wpisać w pole poniżej.
Zmienne zdaniowe należy wpisywać w nawiasach sześciennych (np. "{p}" "{q}"), koniunkcję jako "i", alternatywę jako "lub", negację jako "nie", równoważność jako "<->", implikację jako "=>", zdanie prawdziwe jako "1", a zdanie fałszywe jako "0".
Przykładowe zdanie logiczne w akceptowalnym formacie to ({p} i nie {p}) lub {q} (czyli (p∧¬p)∨q).
Na podstawie wpisanego zdania zostanie przedstawiona tabelka ze wszystkimi możliwymi kombinacjami zmiennych zdaniowych, obliczonymi wartościami logicznymi dla wszystkich kombinacji oraz podsumowaniem czy zdanie jest tautologia lub kontrtautologią.