Complete the truth table for the contrapositive: ¬B → ¬A

Compare this with A → B to verify they're equivalent. Select ⊤ (true) or ⊥ (false) for each row in the truth table.