Considere as afirmações:
I. Se João é alto ou Pedro é baixo então o Sol brilha e o carro é azul
II. O carro é verde
Podemos concluir logicamente a partir dessas afirmações que
João é Alto e Pedro é baixo.
João é Alto e Pedro não é baixo.
João não é alto e Pedro é baixo.
João não é alto e Pedro não é baixo.
João e Pedro são baixos.