Fyll i sanningstabellen för kontrapositionen: ¬B → ¬A

Jämför detta med A → B för att verifiera att de är ekvivalenta. Välj ⊤ (sann) eller ⊥ (falsk) för varje rad i sanningstabellen.