Tautology/Examples

Examples of Tautologies
=== Example: $\paren {\paren {\paren {\lnot p} \implies q} \implies \paren {\paren {\paren {\lnot p} \implies \paren {\lnot q} } \implies p} }$ ===

=== Example: $\paren {\paren {\lnot p} \implies \paren {q \lor r} } \iff \paren {\paren {\lnot q} \implies \paren {\paren {\lnot r} \implies p} }$ ===