Poniżej znajduje się zestawienie wszystkich najważniejszych praw rachunku zdań.
| Nazwa tautologii |
Tautologia |
| prawo wyłączonego środka |
\(p \lor (\sim p)\) |
| prawo sprzeczności |
\(\sim(p \land (\sim p))\) |
| prawo podwójnej negacji |
\(p \Leftrightarrow \sim(\sim p)\) |
| I prawo de Morgana |
\(\Bigl( \sim(p\land q) \Bigr) \Leftrightarrow \Bigl( (\sim p)\lor (\sim q) \Bigr)\) |
| II prawo de Morgana |
\(\Bigl( \sim(p\lor q) \Bigr) \Leftrightarrow \Bigl( (\sim p)\land (\sim q) \Bigr)\) |
| prawo odrywania |
\(\Bigl( p \land (p\Rightarrow q) \Bigr) \Rightarrow q\) |
| prawo negacji implikacji |
\(\Bigl( \sim (p\Rightarrow q) \Bigr) \Leftrightarrow \Bigl( p \land (\sim q) \Bigr)\) |
| rozdzielność koniunkcji względem alternatywy |
\(\Bigl( p \land (q \lor r) \Bigr) \Leftrightarrow \Bigl( (p \land q) \lor (p \land r)
\Bigr)\) |
| rozdzielność alternatywy względem koniunkcji |
\(\Bigl( p \lor (q \land r) \Bigr) \Leftrightarrow \Bigl( (p \lor q) \land (p \lor r)
\Bigr)\) |