Considere a sentença “Se a bola é branca e a caixa não é azul, então a ficha é vermelha”. Uma sentença logicamente equivalente à sentença dada é

Se a bola não é branca e a caixa é azul, então a ficha não é vermelha.

Se a ficha é vermelha, então a bola é branca e a caixa não é azul.

A bola não é branca ou a caixa é azul ou a ficha é vermelha.

A bola não é branca ou a caixa não é azul ou a ficha é vermelha.

A bola não é branca e a caixa é azul e a ficha é vermelha.