شش استاد كامپيوتر يك روز در كتابخانه‌ي دانشكده‌ي كامپيوتر دانشگاه صنعتي شريف گردهم مي‌آيند. در همان روز مجله‌اي حاوي مقاله‌هاي ارزشمند در رشته‌ي كامپيوتر مفقود مي‌شود. هر يك از اساتيد تنها يك‌بار وارد كتابخانه شده لحظه‌اي توقف كرده و سپس محل كتابخانه را ترك مي‌نمايد. هر وقت كه هر دو استاد در كتابخانه در يك زمان در كتابخانه باشند يكي از آن‌ها متوجه مي‌شود كه ديگري در كتابخانه حضور دارد (اساتيد كامپيوتر هميشه متوجه حضور همديگر نمي‌شوند). زماني كه منشي دانشكده از اساتيد راجع به حضورشان در كتابخانه سؤال مي‌كرد اطلاعات ذيل را به‌دست آورد:
جدول 1 - نتيجه‌ي پرسش از اساتيد. | نام استاد | ادعا شده كه حضور داشته است | «بلايس پاسكال»
(Blaise Pascal) | «آلن تورينگ» (Alan Turing)
و «چارلز بابيج» (Charles Babbage) | «آلن تورينگ»
(Alan Turing) | «بلايس پاسكال» (Blaise Pascal)
و «كارل هاينس براندنبورگ»
(Karlheinz Brandenburg) | «كي مك نولتي مائوچلي آنتونلي»
(Kay McNulty Mauchly Antonelli) | «ژان وينسنت آتاناسوف»
(John Vincent Atanasoff) و
«كارل هاينس براندنبورگ» (Karlheinz Brandenburg) | «ژان وينسنت آتاناسوف»
(John Vincent Atanasoff) | «بلايس پاسكال» (Blaise Pascal) و «كارل هاينس براندنبورگ»
(Karlheinz Brandenburg) | «چارلز بابيج»
(Charles Babbage) | «آلن تورينگ» (Alan Turing) و
«كي مك نولتي مائوچلي آنتونلي»
(Kay McNulty Mauchly Antonelli) | «كارل هاينس براندنبورگ»
(Karlheinz Brandenburg) | «كي مك نولتي مائوچلي آنتونلي»
(Kay McNulty Mauchly Antonelli) و
«چارلز بابيج» (Charles Babbage) |
اگر دقيقاً يكي از اساتيد جهت شوخي و براي پاپوش درست كردن براي ديگري دروغ بگويد (دروغ يعني فرد حضور يافته را اشتباه اعلام كرده نه اين‌كه فردي را كه بوده اعلام نكرده است). چه كسي مجله را برداشته است؟
 | |  | |  | «آلن تورينگ»
(Alan Turing) | | «چارلز بابيج»
(Charles Babbage) | | «بلايس پاسكال»
(Blaise Pascal) |  | |  | |  | «كارل هاينس براندنبورگ»
(Karlheinz Brandenburg) | | «ژان وينسنت آتاناسوف»
(John Vincent Atanasoff) | | «كي مك نولتي مائوچلي آنتونلي»
(Kay McNulty Mauchly Antonelli) |
|