A sentença “Carlos é policial ou João não é advogado” é logicamente equivalente a:

Se João é advogado, então Carlos é policial.

Carlos não é policial e João é advogado.

Se Carlos não é policial, então João é advogado.

Carlos é policial se, e somente se, João não é advogado.

Se Carlos é policial, então João não é advogado.