test.html

<table><tr><td style="text-align: left;">P</td><td style="text-align: left;">Q</td><td style="text-align: left;">(P → Q)</td><td style="text-align: left;">¬Q</td><td style="text-align: left;">¬P</td><td style="text-align: left;">(¬Q → ¬P)</td><td style="text-align: left;">((P → Q) ≡ (¬Q → ¬P))</td></tr><tr><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">false</td><td style="text-align: left;">false</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td></tr><tr><td style="text-align: left;">true</td><td style="text-align: left;">false</td><td style="text-align: left;">false</td><td style="text-align: left;">true</td><td style="text-align: left;">false</td><td style="text-align: left;">false</td><td style="text-align: left;">true</td></tr><tr><td style="text-align: left;">false</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">false</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td></tr><tr><td style="text-align: left;">false</td><td style="text-align: left;">false</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td><td style="text-align: left;">true</td></tr></table>