(۰۷ اسفند ۱۳۹۵ ۰۲:۳۸ ب.ظ)Pure Liveliness نوشته شده توسط:  سلام.
اگه E راستگو باشه اونوقت F راستگو و C دروغگو هست.
…….حالا که F راستگو هست پس باید B دروغگو باشه.
…….حالا که C دروغگو هست باید عبارت "شخص D راستگو و E دروغگوست." دروغ باشه، یعنی یا D دروغگو هست و یا E راستگو هست.
چون طبق صورت سوال بیش از ۲ دروغگو نداریم و تا اینجا دو تا دروغگو مشخص شده (C و B) پس D نمیتونه دروغگو باشه، پس D راستگو هست و E هم راستگو هست.
………….حالا که D راستگو هست پس باید F راستگو باشه.
…………………..حالا که F راستگو هست پس باید B دروغگو باشه. (تناقض نخوردیم پس و درسته)
…………حالا که E راستگو هست… -> اینو قبلا بررسی کردیم.
گزاره ی A رو بهش نرسیدیم چون C دروغگو هست پس Aراستگو هست.
حالا برای اطمینان اینایی که به دست آوردیم رو یه بار دیگه بررسی میکنیم.
A: راستگو، پس C دروغگو. درست.
B: دروغگو، پس یا C دروغگو و یا A راستگو، که هر دوش درست هست و اینم درسته و تا اینجا هم به تناقض نرسیدیم.
C: دروغگو، پس یا D دروغگو یا E راستگو هست و چون واقعا Eراستگو هست اینم درسته.
D: راستگو، پس F راستگو هست. تا اینجا هم به تناقض نرسیدیم.
E: راستگو پس F راستگو و C دروغگو. اینم اوکی هست.
F: راستگو هست پس B دروغگو هست که واقعا هم هست پس درست هست.
پس به تناقض نرسیدیم. و استدلالتون درست هست. نکاتش اینا هست:
۱) [tex](a\wedge b)'=a'\vee b'[/tex] و نه لزوما هر دو
۲) حداکثر دو تا دروغگو هست.
میشد هم از اول با توجه به این که گزاره ی C دو وضعیت داره توی A و B به این نتیجه رسید که ارزش این دو نمیتونه یکسان باشه و به همین ترتیب ادامه میدادیم.