Afirmar que: ´Antônio não é engenheiro ou João é pernambucano’, logicamente, é o mesmo que dizer que:

se Antônio é engenheiro, então João é pernambucano.

se Antônio não é engenheiro, então João não é pernambucano.

se João é pernambucano, então Antônio é engenheiro.

se Antônio é engenheiro, então João não é pernambucano.

se Antônio não é engenheiro, então João é pernambucano.