Algoritmlash p65. p65

Qiziqarli  mantiqiy  masalalar
Mantiqiy  amallar  mantiq  ilmida  ham  algoritmik  tafakkum i 
rivojiantirishda ham juda katta ahamiyatga ega.  Masalan,  quyidagi 
masalani  qaraylik.
5.1-  masala.
Bir kishi  aytdi  «Men yolg‘onchiman yoki  qora sochliman».  U 
kishi kimligini aniqlang.
Yechim. Masala shartidagi da’volar uchun belgilashlar kiritamiz:
D  =  «Men yolg‘onchiman yoki  qora  sochliman»;
A  =  «Men yolg‘onchiman»;  B=  «Qora  sochliman»
U  holda  masala  shartidagi  da’voni  shunday  yoza  olamiz:  D=A 
YOKI B. Bu amal uchun rostlik jadvali quyidagicha ko‘rinishda bo‘ladi: