O time vermelho não é campeão e o time azul não foi rebaixado.

O time vermelho é campeão se o time azul foi rebaixado.

O time vermelho não é campeão se o time azul não foi rebaixado.

O time azul não é campeão e o time vermelho não foi rebaixado.

O time vermelho não é campeão ou o time azul não foi rebaixado.