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.