Algoritmlash

5.3-masala

natUchta do‘st futbol bo‘yicha 2010- yilgi jahon chempionati

ijalari haqida bahslashishardi.

ch «Mana ko‘rasiz, Ispaniya chempion boMmaydi, Germaniya

empion boMishi aniq», dedi Abror.

m «Yo‘g‘e, Ispaniya chempion boMadi, Argentina haqida gapir-

asa ham boMadi, u chempion bo‘lolmaydi», dedi Behzod.

Ar «Germaniyar chempionlikka yaqin ham kelmaydi, lekin

gentinada zo‘ o‘yinchilar bor», dedi Muzaffar.

Chempionat tugagandan keyin esa qarashsa, uch do‘stdan ikkitasining ikkala gapi ham to‘g‘ri, uchinchisining ikkala gapi ham noto‘g‘ri ekan. Kim chempiom boMgan?

79





Yechim. Ba’zi belgilashlarni kiritib olamiz:

A — Argentina chempion, G — Germaniya chempion, I — Ispaniya chempion.

ki MuzafTarning «Argentinada zo‘r o‘yinchi!ar bor», degan gapi

s m chempion bo‘lishi haqida hech qanday maMumot bermaydi,

huning uchun keyingi mulohaza yuritishimizga qaralmaydi.

Har bir do‘stning gapini belgilab olamiz:

E Abror: .(EMAS 1 ) VA G; Behzod: I VA (EMAS A); MuzafTar:

MAS G

uc Do‘stIarning ikkitasiningo ikkala gapi i ham to ‘g ‘ri,

hinchisining ikkala gapi ham n to‘g‘ri ekanlig ni hisobga olib,

quyidagi D da'voni hosil qilamiz:

D = ((EMAS I ) VA G) VA (I VA (EMAS A)) VA (EMAS(EMAS G)) YOKI

((EMAS I ) VA G) VA (EMAS (1 VA (EMAS A))) VA (EMAS G) YOKI

(EMAS ((EMAS I ) VA G)) VA (I VA (EMAS A)) VA (EMAS G) = ROST

tuz Agar iyuqoridagi da’vo uchun erinmasdan rostlik jadvalini bil ib ch qsangiz, kim chempion iboMganini bilib olasiz, balki

arsiz ham (yechimimizni teksh rib ko‘ring!).

sodAlbatta, mantiq nazariyasida yuqoridagii D mantiqiy ifodani

dalashtirish uchun formulalar bor. Lek n ular qo'llanmada

ko‘rib chiqilmaydi.

Takomillashtirilgan Kamaytiruvchi

Eslatib o‘tishimiz kerakki, Kamaytiruvchining ikkitagina ko'rsatmasi bor: