Enter a formula in propositional logic and click on submit to test whether it is a tautology.
a is not a tautology a|~a is a tautology (a&a)>a is a tautology ((a>b)&(b>c)) > (a>c) is a tautology