| (P Ù Q) Ú R « (P Ú R) Ù (Q Ú R) | distributiva lagen för konjunktion |
| (P Ú Q) Ù R « (P Ù R) Ú (Q Ù R) | distributiva lagen för disjunktion |
| P Ù Q « Q Ù P | kommutativa lagen för konjunktion |
| P Ú Q « Q Ú P | kommutativa lagen för disjunktion |
| P « P | identitetslagen |
| P « ØØP | lagen för dubbel negation |
| P Ú ØP | det uteslutna tredjes lag |
| Ø (P Ù ØP) | den uteslutna kontradiktionens lag |
| Ø (P Ù Q) « ØP Ú ØQ | de Morgans lag |
| Ø (P Ú Q) « ØP Ù ØQ | de Morgans lag |
| (P ® Q) « (ØQ ® ØP) | transpositionslagen |
| (P ® Q) Ù P ® Q | modus (ponendo) ponens |
| (P ® Q) Ù ØQ ® ØP | modus tollendo tollens |
| (P Ú Q) Ù ØP ® Q | modus tollendo ponens |