Uma sentença logicamente equivalente a
"Se faz sol e eu acordo cedo, então eu vou à praia"
é:
- A se não faz sol ou eu não acordo cedo então não vou à praia.
- B se eu vou à praia então faz sol e eu acordo cedo.
- C se não faz sol e eu não acordo cedo então não vou à praia.
- D não faz sol ou eu não acordo cedo ou eu vou à praia.
- E faz sol e eu acordo cedo, ou eu vou à praia.