De acordo com raciocínio lógico matemático a frase “O Brasil não foi campeão ou o presidente foi ao comício” é equivalente a frase:

O Brasil foi campeão ou o presidente não foi ao comício.

O Brasil não foi campeão e o presidente foi ao comício.

Se o Brasil foi campeão, então o presidente foi ao comício.

O Brasil foi campeão se, e somente se o presidente não foi ao comício.