Algoritmlash

A B D=A YOKl B

ROST ^{ROST ROST}

ROST YOLG'ON ROST

YOLG'ON ^{ROST ROST}

YOLG'ON YOLGON YOLG'ON

yurEndi masala yechimini topish uchun quyidagicha mulohaza itamiz:

a) agar A = ROST bo‘lsa, u holda masala shartidagi da'voni aytgan kishi yolg‘onchi bo‘ladi va shuning uchun uning hamma gapi yoIg‘on. Demak, D = YOLG'ON bo‘lishi kerak. Lekin jadvaldan ko‘rinadiki, A = ROST bo'lganda D = YOLG‘ON bo‘lolmaydi.

b) agar A = YOLG'ON bo'lsa, u holda masala shartidagi

da’voni aytgan kishi rostgo‘y bo'ladi va tabiiyki, uning hamma gapi rost. Demak, D = ROST bo'lishi kerak. Jadvaldan ko‘rinadiki, bunday imkoniyat A = YOLG'ON va B = ROST bo‘Jsagina bor.

va Javob: masala shartidagi da'voni aytgan kishi ROSTGO'Y

QORA SOCHLI ekan.

5.2-masala

Bir kishi aytdi: «Men yolg'onchiman va qora sochliman». U kishining kimligini aniqlang.

78

be Yechim. Awalgi masaladagi kabi shartdagi da'volar uchun lgilashlar kiritamiz:

D = «Men yolg‘onchiman va qora sochliman»;

A = «Men yoIg‘onchiman»; B = «Qora sochliman».

Bu Masala shartidagi da'voni shunday yoza olamiz: D = A VA B.

amal uchun rostlik jadvali quyidagicha ko‘rinishda bo'ladi: