Considere a sentença “Se a borracha é vermelha e o lápis é preto, então o caderno é azul”. Uma sentença logicamente equivalente a essa é

Se a borracha é vermelha, então o lápis não é preto ou o caderno é azul.

Se a borracha não é vermelha ou o lápis não é preto, então o caderno não é azul.

Se o caderno não é azul, então a borracha não é vermelha e o lápis não é preto.

Se o caderno não é azul, então a borracha é vermelha ou o lápis é preto.

Se a borracha é vermelha, então o lápis é preto e o caderno é azul.