Considere a sentença “Se a calça é branca e a camisa é azul, então o sapato é preto”. Uma sentença logicamente equivalente à sentença dada é:

A calça não é branca ou a camisa não é azul ou o sapato é preto.

Se o sapato é preto, então a calça é branca e a camisa é azul.

Se a calça não é branca e a camisa não é azul, então o sapato não é preto.

A calça é branca e a camisa é azul e o sapato não é preto.

Se o sapato não é preto, então a calça não é branca e a camisa não é azul.