Pilot Pirx ucieka z wrogiej planety wrakiem statku, którego moduł logiczny został uszkodzony przez rój meteorytów, a mianowicie przestał rozumieć znaczenie słów albo, lub, bądź a także znaku alternatywy ∨. Co gorzej, jedynymi spójnikami, które pozostały w module logicznym statku, jest spójnik negacji ¬ oraz spójnik koniunkcji ∧. Pomóż Pirxowi wydostać się na Ziemię i wpisać za pomocą spójnika negacji ¬ oraz spójnika koniunkcji ∧ (czyli to są jedyne spójniki, których możesz użyć) następujące komendy (przyjmijmy, że p oznacza "Skręć za księżycem w prawo", a q "Skręć za meteorytem w lewo"):
Dawno-dawno temu w odległej Galaktyce toczy się wojna separatystów z rycerzami Jedi, którymi dowodzi Mistrz Yoda. Po stronie Jedi są bojowe droidy, które zostały zaprogramowane tak, że na dowolne pytanie rycerza Jedi zawsze mówią prawdę. Niestety, w kryjówce separatystów, planecie Mustafar na Zewnętrznych Rubieżach, znajdują się zarówno droidy wierne Jedi, jak i droidy, których złośliwy Darth Sidious zaprogramował w taki sposób, by zawsze odpowiadały fałsze na dowolne pytanie Jedi. Niestety, wszystkie droidy wyglądają tak samo i nie da się z ich wyglądu wywnioskować, czy jest to droid wierny Jedi, czy droid wierny Sithom.
Na planecie Mustafar kryje się Darth Vader. Mistrz Yoda wzywa Obi-Wana Kenobi, by udał się na Mustafar i znalazł Vadera:
Y: "Na planetę Mustafar udasz się ty, by Vadera lorda Sithów znaleźć. By kryjówkę Mrocznego Władcy wytropić, droidów pytaj".
O-W.K: "Ale Mistrzu, jak poznam, który droid mówi prawdę, a który kłamię?
Y: "Pytania tak zadawaj, by z nich wywnioskować jednoznacznie można, czy droid jest po dobrej czy po złej stronie Mocy. Użyj logiki do tego."
Obi-Wan Kenobi udaje się na Mustafar. Nie minęło i pięciu minut, jak spotyka dwóch droidów, Droida A i Droida B.
O-W.K: "Czy jesteście droidami wiernymi Jedi, czy wiernymi Sithom?"
Droid A: "Albo jestem wierny Sithom, albo Droid B jest wierny Jedi"
Obi-Wan Kenobi pomyśłał: "Hm, jeśli ten droid jest wierny Jedi, to nie kłamie i to, co powiedział, jest prawdą. A jeśli jest wierny Sithom, to kłamie zawsze i ta jego wypowiedź to też fałsz. Załóżmy, że p to "Droid A jest wierny Jedi", a q to "Droid B jest wierny Jedi". Czyli formuła p↔(¬p∨q) dokładnie opisuje stan rzeczy: po prawej stronie równoważności zapisałem, to co powiedział ten droid; jeśli jego wypowiedź jest prawdziwa, to jest on wierny Jedi, a jak fałszywa, to równie fałszywe jest, że jest Jedi wierny." Po czym Obi-Wan wyjął świetlny miecz i ze słowami "Niech Moc będzie z nami" nakreślił nim w wulkanicznym pyłu Mustafaru następującą tabelkę prawdziwościową:
"Aha - powiedział - tylko w jednym przypadku uzyskałem wartość "1" - w takim, w którym oba droidy są wierne Jedi, a zatem droidy nie kłamią!".
Niestety, ani Droid A, a ni Droid B nie wiedziały, gdzie znajduje się kryjówka Vadera, a zatem Obi-Wan kontynuował swoje poszukiwania.
Tym razem Obi-Wan spotkał dwóch droidów, A i B, których zapytał:
O-W.K: "Komu jesteście wierni? Gdzie się kryje Darth Vader?"
Droid A: "Vader poleciał na Naboo."
Droid B: "Któryś z nas jest wierny Sithom".
Z Obi-Wanem była Moc, dlatego przyjął za p "Droid A jest wierny Jedi", za q "Droid B jest wierny Jedi", a za r "Vader poleciał na Naboo", po czym zapisał formułę (p↔r) (dla Droida A), napisał formułę (q↔(¬p∨¬q)) (dla Droida B), a potem połączył obie formuły w jedną koniunkcję (p↔r)∧(q↔(¬p∨¬q)), nakreślił świetlnym mieczem tabelkę prawdziwościową i zrozumiał natychmiast, co należy zrobić z droidami, i czy Vader poleciał na Naboo.
Przy dwóch i więcej mówiących zapisujemy równoważności, tak jak w przypadku pojedynczego mówiącego, po czym łączymy je koniunkcją. Na podstawie powyższych wypowiedzi droidów powiedz, co zrobił Obi-Wan z droidem A (jeśli droidy są wierni Jedi, to zabiera je na statek, a jeśli nie, to ścina świetlnym mieczem)? Co zrobił z droidem B? Czy Vader poleciał na Naboo?
Droida A ściął, droida B zabrał na statek, a Lord Vader nie poleciał na Naboo.