Z výroku: "Nie je pravda, že 10.10.1728 bol štvrtok alebo 24.3.1876 bola nedeľa." vyberieme časť "10.10.1728 bol štvrtok alebo 24.3.1876 bola nedeľa" nazveme ju výrok A. Časť "Nie je pravda že" vyjadruje, že celý výrok je negovaný (¬):
¬(A)
Výrok A je ale zložený, je v ňom logická spojka "alebo" - disjunkcia (∨).
Vieme ho teda rozpísať (B - 10.10.1728 bol štvrtok, C - 24.3.1876 bola nedeľa) :
¬(A) <=> ¬(B ∨ C)
(<=> je znak ekvivalencie)
Pokračujeme podľa pravidiel negácie zložených výrokov:
¬(A) <=> ¬(B ∨ C) <=> ¬B ∧ ¬C
Prevedieme naspäť na slovný výrok:
10.10.1728 NEbol štvrtok A 24.3.1876 NEbola nedeľa.
Správna je možnosť D.