Alternativa A (Se João é advogado, então Carlos é policial) — aplicando a equivalência entre disjunção e condicional (p ∨ ¬q ≡ q → p), chega-se a essa formulação.

A disjunção "p ou ¬q" (Carlos é policial OU João não é advogado) é logicamente equivalente à condicional "q → p" (Se João é advogado, então Carlos é policial), aplicando a regra clássica de equivalência entre disjunção e condicional (p ∨ q ≡ ¬p → q, adaptada para a negação presente na proposição original) — resultado que corresponde à alternativa A.