Fullfør sannhetstabellen for den kontrapositive: ¬B → ¬A

Sammenlign denne med A → B for å verifisere at de er ekvivalente. Velg ⊤ (sann) eller ⊥ (usann) for hver rad i sannhetstabellen.