Olimpiade Sains Kota (OSK) 2011 - Komputer, Nomor 30

• Ada 4 kasus, yaitu ketiga pernyataan tersebut bohong dan 3 lainnya yaitu salah satu diantaranya jujur.
• Dapat dicek bahwa tidak mungkin pernyataan pertama dan ketiga sama-sama bohong karena jika iya, maka setidaknya dia jujur pada senin atau selasa dan juga rabu atau jumat sehingga kontradiksi dengan pernyataan hanya jujur sehari dalam seminggu.
• Karena pernyataan pertama atau ketiga jujur, pasti pernyataan kedua bohong.
• Jika pernyataan pertama jujur, maka pernyataan ketiga bohong sehingga dia jujur pada hari rabu atau jumat yang pasti merupakan hari di mana dia mengucapkan pernyataan pertama (jujur). Hal ini kontradiksi karena pada hari selanjutnya berarti hari kamis/sabtu yang membuat pernyataan kedua benar.
• Maka pernyataan ketiga pasti jujur sehingga dia jujur pada hari senin atau selasa yang dengan alasan sama seperti poin sebelumnya, pasti merupakan hari di mana dia menyatakan pernyataan ketiga.
• Jika dia jujur pada hari senin, maka hari sebelumnya, yang mana dia menyatakan pernyataan kedua, adalah hari minggu yang membuat pernyataan kedua benar. Kontradiksi.
• Dapat dipastikan dia jujur pada hari selasa.

b. Selasa

c. kamis