Dizer que "André é artista ou Bernardo não é engenheiro" é logicamente eqüivalente a dizer que:
André é artista se e somente se Bernardo não é engenheiro.
Se André é artista, então Bernardo não é engenheiro.
Se André não é artista, então Bernardo é engenheiro