"laused" - 0 õppematerjali
laused on seega: S ∨ ¬P ning ¬P → ¬S S P ¬S ¬P S ∨ ¬P ¬P → ¬S 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 Liitlausete tõeväärtused ei lange kokku, seega pole laused ekvivalentsed.
Nagu näha, siis vastuse leidmine on päris raske, aga lendamine on hoopis imelihtne - tuleb vaid maa poole viskuda ja mööda kukkuda.