Masala. D V ᒣB Λ A mantiqiy ifodaga mos rostlik jadvalini tuzing. Yechish

Mantiqiy amallar mantiq ilmida ham algoritmik tafakkurni

rivojlantirishda ham juda katta ahamiyatga ega.
masala. Bir kishi aytdi “Men yolg’onchiman yoki qora
sochliman”. U kishi kimligini aniqlang.
Yechish. Masala shartidagi mulohazalar uchun belgilashlar
kiritamiz:
D= “Men yolg’onchiman yoki qora sochliman”;
A= “Men yolg’onchiman”; B= “Qora sochliman”

U holda masala shartidagi murakkab mulohazani

shunday yoza olamiz: D=A YOKI B. Bu amal uchun
rostlik jadvali quyidagicha ko’rinishda bo’ladi:

1) Agar A mulohaza “rost” bo’lsa, u holda masala

shartidagi mulohazani aytgan kishi yolg’onchi bo’ladi
va shuning uchun uning hamma gapi yolg’on.
Demak, D mulohaza “yolg’on” bo’lishi kerak. Lekin
jadvaldan ko’rinadiki, A mulohaza “rost” bo’lganda
D mulohaza “yolg’on” bo’la olmaydi.
2)Agar A mulohaza “yolg’on” bo’lsa, u holda masala
shartidagi mulohazani aytgan kishi rostgo’y bo’ladi
va, tabiiyki, uning hamma gapi rost. Demak, D
mulohaza “rost” bo’lishi kerak. Jadvaldan ko’rinadiki,
bunday hol faqat A mulohaza “yolg’on” va B
mulohaza “rost” bo’lsagina o’rinli.