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 A calça não é branca ou a camisa não é azul ou o sapato é preto.
- B Se o sapato é preto, então a calça é branca e a camisa é azul.
- C Se a calça não é branca e a camisa não é azul, então o sapato não é preto.
- D A calça é branca e a camisa é azul e o sapato não é preto.
- E Se o sapato não é preto, então a calça não é branca e a camisa não é azul.