Completa la tabla de verdad para el contrapositivo: ¬B → ¬A

Compara esto con A → B para verificar que son equivalentes. Selecciona ⊤ (verdadero) o ⊥ (falso) para cada fila en la tabla de verdad.