Η αρχική πρόταση είναι: «Αν διαβάσω και (ξεκουραστώ ή φάω καλά), τότε θα γράψω καλά στο διαγώνισμα.»

Με λόγια: για να γράψω καλά, χρειάζεται και να έχω διαβάσει και να ισχύει τουλάχιστον ένα από τα δύο: ξεκουράστηκα ή έφαγα καλά.

Τι συμπεραίνουμε όταν δεν έγραψα καλά; Στην τυπική λογική, η πρόταση «Αν Υπόθεση, τότε Συμπέρασμα» είναι ισοδύναμη με την «Αν όχι Συμπέρασμα, τότε όχι Υπόθεση». Άρα:

• Αν δεν έγραψα καλά, τότε δεν ισχύει η υπόθεση «διάβασα και (ξεκουράστηκα ή έφαγα καλά)».

Το «δεν ισχύει η υπόθεση» σπάει ως εξής (κανόνες De Morgan):

• «Όχι(διάβασα και (ξεκουράστηκα ή έφαγα καλά))» ⇔ «(δεν διάβασα) ή ((δεν ξεκουράστηκα) και (δεν έφαγα καλά))».

Με απλά λόγια: Αν δεν έγραψα καλά, τότε είτε δεν διάβασα, είτε ούτε ξεκουράστηκα ούτε έφαγα καλά.

Στις επιλογές αυτό αντιστοιχεί στο ζεύγος:

• (Γ) Δεν έγραψα καλά στο διαγώνισμα.
• (Δ) Δεν διάβασα ή (δεν ξεκουράστηκα και δεν έφαγα καλά).

Σωστή απάντηση: Γ: ΓΔ.