Dr.

eljko Juri: Matematika logika i teorija izraunljivosti

Zadaci predvieni za rad sa tutorom (rjeenja)

Rjeenja zadataka sa Tutorijala 1.

(akademska godina 2015/16)

Rjeenja zadataka sa Tutorijala 1.

Dolje navedeni zadaci po svom sadraju prate Predavanje 1 i predvieni su da se prerade sa tutorom.
1.

Dokaite pravila [13], [14], [17] i [21] data na predavanjima iskljuivo koritenjem aksioma
logike iskaza.
Rjeenje:
Pravilo [13]:
Pokaimo prvo da je X X = X:
[ kao neutralni element za disjunkciju ]
[ Neprotivrjenost ]
[ Distributivnost konjunkcije prema disjunkciji ]
[ Iskljuenje treeg ]
[ kao neutralni element za konjunkciju ]

X X =
= (X X) =
= (X X) (X X) =
= X (X X) =
= X =
=X

Tvrenje za lanova sada slijedi iz principa matematike indukcije. Naime, vidjeli smo da
tvrenje vrijedi za = 2. Pretpostavimo sada da tvrenje vrijedi za
lanova, tj. da je
X X X = X pri emu sa lijeve strane znaka jednakosti ima lanova. Ispitajmo ta se
deava uzmemo li + 1 lanova:
[ Asocijativnost konjunkcije ]
[ Induktivna hipoteza ]
[ Ve dokazano ]

XXXX=
= (X X X) X =
=XX=
=X

Slijedi da je tvrenje tano i za + 1 lanova, tako da je tano za svako 2.

Pravilo [14]:
Pokaimo prvo da je X X = X:
[ kao neutralni element za konjunkciju ]
[ Iskljuenje treeg ]
[ Distributivnost disjunkcije prema konjunkciji ]
[ Neprotivrjenost ]
[ kao neutralni element za disjunkciju ]

X X =
= (X X) =
= (X X) (X X) =
= X (X X) =
= X =
=X
Sluaj sa

lanova dokazuje se identino kao kod pravila [13].

Pravilo [17]:
[ kao neutralni element za disjunkciju ]
[ Distributivnost disjunkcije prema konjunkciji ]
[ Komutativnost konjunkcije ]
[ kao neutralni element za disjunkciju ]
[ Neprotivrjenost ]
[ Distributivnost konjunkcije prema disjunkciji ]
[ Komutativnost disjunkcije ]
[ kao neutralni element za disjunkciju ]
[ Neprotivrjenost ]
[ kao neutralni element za disjunkciju ]

X (X Y) =
= (X ) (X Y) =
= X ( Y) =
= X (Y ) =
= X ((Y ) ) =
= X ((Y ) (Y Y)) =
= X (Y ( Y)) =
= X (Y (Y )) =
= X (Y Y) =
=X=
=X
1

Dr. eljko Juri: Matematika logika i teorija izraunljivosti

Zadaci predvieni za rad sa tutorom (rjeenja)

Rjeenja zadataka sa Tutorijala 1.

(akademska godina 2015/16)

Pravilo [21]:
[ Distributivnost disjunkcije prema konjunkciji ]
[ Iskljuenje treeg ]
[ Komutativnost konjunkcije ]
[ kao neutralni element za konjunkciju ]

X XY =
= (X X) (X Y) =
= (X Y) =
= (X Y) =
= X Y
2.

Minimizirajte logiki izraz (A )

(CD E) , koristei pri tome samo zakone logike
iskaza. Zatim naite negaciju ovog izraza (u izvornom obliku) i minimizirajte tako dobijenu kao
negaciju koristei samo zakone logike iskaza. Konano, naite negaciju minimizirane verzije
istog izraza i pokaite da se dobija isti rezultat.
Rjeenje:
Minimizirajmo prvo izraz (A )
(A )
= (A

(CD E) = (A )

)( ) (

= ( )

(CD E) :

E=

CD

(CD E)

E) = (A )( ) (
E=(

E)

E) =

= ( )

Naimo sada negaciju polaznog izraza i minimizirajmo je:

( )
=(
=( C
= (C
= (C

)(A

= (C

)( D

) =( )

)(( D)( )

)(A
= (C

( D

AD D

)=(

AD D ) = (C
)(A

AD ) = (C

)(C A ) = C
=C

) = (C

) = (C

( D
)( D

)=

)(( D)(A )

)(A (

)=

) AD D ) =

)((C A ) ( D ) AD ) =
)((A AD)

( )=C
= (

) =

)=

)=

S druge strane, negacijom minimizirane verzije polaznog izraza dobijamo:

( )=

=C

=C

Vidimo da smo dobili isti rezultat.

3.

Prije utakmice, Safet je dobio sljedeih 5 zahtijeva:

U timu mora biti Sven ili Anel, a mogu biti i obojica;

Mora igrati ili Vedad ili Edin, ali obojica nikako;
Miralem e igrati samo ako bude igrao i Vedad;
Ili e igrati i Sven i din, ili nee ni jedan od njih;
ko e u timu biti nel, onda moraju biti i Miralem i Sven.

Formalnim putem utvrdite da li je mogue ispuniti sve zahtjeve, i ako jeste, koje igrae treba
pozvati u reprezentaciju da bi se zahtjevi ispunili.
Rjeenje:
Oznaimo sa S, , V, i M iskaze koji tvrde da e igrati Sven, nel, Vedad, din odnosno Miralem
respektivno. Izjava U timu mora biti Sven ili nel, a mogu biti i obojica moe se zapisati kao
S A SA, to je u sutini ekvivalentno prosto sa S A. Izjava Mora igrati ili Vedad ili Edin, ali
obojica nikako moe se zapisati kao V . Izjava Miralem e igrati samo ako bude igrao i
Vedad moe se zapisati na dva ekvivalentna naina kao M V ili kao V M (ali ne nikako kao
V M). Izjava Ili e igrati i Sven i din, ili nee ni jedan od njih striktno se zapisuje kao S S ,
ali je ovo isto to i S S , jer su izrazi SE i S meusobno iskljuivi (konjunkcija im je ), a
2

Dr. eljko Juri: Matematika logika i teorija izraunljivosti

Zadaci predvieni za rad sa tutorom (rjeenja)

Rjeenja zadataka sa Tutorijala 1.

(akademska godina 2015/16)

vrijedi da je X Y = X Y kad god je XY = to je lako provjeriti (a sa obinom disjunkcijom se

lake barata nego sa ekskluzivnom). Najzad, izjava ko e u timu biti nel, onda moraju biti i
Miralem i Sven moe se zapisati kao MS. Sredimo konjunkciju svih ovih izjava:
(S A)(V E)(M V)(SE S )(A MS) = (S A)(V VE)(M V)(SE S )( MS) =

= (S A)(

MS)(SE S )(V VE)(M V) = (S MS AMS)(SE S )(V VE)(M V) =

= (S MS)(SE S )(V VE)(M V) = (S E MSE) (V VE)(M V) =

= SE( M)(V M V M VE) = SE( M)(V M VE) = S( M) M VE = S M V
Da bi ovo bilo tano, moraju biti tani S i , a netani , M i V. Dakle igrae Sven (on svakako
uvijek igra) i din (ni to nije nikakvo udo), a nee igrati nel, Miralem i Vedad.
4.

Kandidat E. pred lokalne izbore obeava:

Ili u vam napraviti kolu, ili u vam ukoliko dobijemo kredit MMF-a dati 13-tu penziju. A kredit
MMF-a neemo dobiti samo ako vam napravim kolu. Ustvari, ako dobijemo kredit MMF-a, dobiete
oboje, i kolu, i 13-tu penziju.
Ispitajte formalnim putem da li je njegovo predizborno obeanje konzistentno ili kontradiktorno.
Ukoliko je konzistentno, pronaite mogue scenarije koji zadovoljavaju njegovo predizborno
obeanje (zadatak je inspirisan predizbornim obraanjem kandidata Esada Eska Omerbaia na
lokalnim izborima 2012. godine).
Rjeenje:
Ovdje emo uvesti oznake:
A Napraviu vam kolu
B Dobiemo kredit MMF-a
C Dau vam 13-tu penziju
Izjava Ili u vam napraviti kolu, ili u vam ukoliko dobijemo kredit MMF-a dati 13-tu penziju
zapisuje se kao A ( ), s obzirom da se podizjava ukoliko dobijemo kredit MMF-a dau
vam 13-tu penziju zapisuje kao B . Izjava Kredit MMF-a neemo dobiti samo ako vam
napravim kolu zapisuje se kao A ili alternativno kao B (ali nipoto kao ). Izjava
Ako dobijemo kredit MMF-a, dobiete oboje, i kolu, i 13-tu penziju, zapisuje se kao AC.
Provjerimo na ta se svodi konjunkcija ovih izjava:
(A ( C))( A)(B AC) = (A ( C))(B A)( AC) =
= (A ( C))(BAC A AC) = (A ( C))(A AC) = A(A ( C))( C) =
= A(A ( C))( C) = A ( ) =
Dakle, predizborno obeanje je kontradiktorno.

5.

Pred sepembarski rok, student rezonuje ovako:

Ako poloim IM1 ili ako padnem IM2, onda u ili poloiti EK1 ili pasti OE. Poloit u EK1 ako i
samo ako poloim IM1 i IM2. Ako padnem IM2, onda u ili pasti EK1 ili pasti IM1. A znam da u
pasti OE, osim ako padnem IM2 i poloim EK1.
Formalnim putem ispitajte da li je njegovo rezonovanje konzistentno ili kontradiktorno. Ukoliko
je konzistentno, pronaite sve mogue scenarije koji se uklapaju u ovo rezonovanje.
Rjeenje:
Uvedimo sljedee oznake:
A Poloiu IM1
B Poloiu IM2
C Poloiu K1
D Poloiu O
3

Dr. eljko Juri: Matematika logika i teorija izraunljivosti

Zadaci predvieni za rad sa tutorom (rjeenja)

Rjeenja zadataka sa Tutorijala 1.

(akademska godina 2015/16)

Izjava Ako poloim IM1 ili ako padnem IM2, onda u ili poloiti EK1 ili pasti OE zapisuje se kao
A C D. Izjava Poloit u EK1 ako i samo ako poloim IM1 i IM2 zapisuje se kao AB.
Izjava Ako padnem IM2, onda u ili pasti EK1 ili pasti IM1 zapisuje se kao . Konano,
izjava Pau OE, osim ako padnem IM2 i poloim EK1 moe se zapisati kao D
ili, jo
prostije, kao D . Pogledajmo emu vodi konjunkcija svih ovih izjava:
(A
=(

D)(C AB)( )(D C) =

CD D)(CAB

)( A C )(D C) =

= ( B CD D)(CAB ( ))( A C )(D C) =

= ( B CD D)(D C)(CAB
= ( BD CD D)(CAB
= B DA

)( A C ) =

A) = B D B D A

D=

D = D( B A ) = D(A B)

Odavde vidimo da postoje dva scenarija (modela) koja se uklapaju u ovo rezonovanje. U oba
scenarija, student e pasti EK1 i O . Prema prvom scenariju, student e poloiti IM1 a pasti IM2,
dok e po drugom scenariju poloiti IM1 a pasti IM2. Moemo rei i ovako: student e poloiti ili
IM1 ili IM2, ali ne i oboje.
6.

Haris, Ivan, len i Marko su se igrali loptom na ulici. Odjednom je jedna nespretno utnuta lopta
udarila u prozor i razbila ga. Na sasluanju, svaki od djeaka je dao po 3 izjave:
Haris:

Ivan:

Alen:

Marko:

Ja nisam razbio prozor!

Marko je predloio da se igramo loptom na ulici!
Alen nije razbio staklo!
I Nisam ja utnuo loptu koja je razbila prozor!
I To je uinio len!
I Ja igram fudbal bolje od Marka!
Ja nisam posljednji udario loptu!
Da sam znao ta e se dogoditi, ne bi se ni igrao loptom na ulici!
Haris nije razbio prozor!
M Ja nisam kriv!
M Alen je razbio prozor!
M Kad sam se ja prikljuio igri, ostali djeaci su se ve igrali!

Oigledno je da nisu svi mogli govoriti istinu. Na ponovljenom sasluanju, ustanovilo se da je

svaki od djeaka izrekao po jednu la, dok su preostale dvije izjave istinite. Formalnim putem
utvrdite koje su izjave tane, a koje ne (time e se, izmeu ostalog, saznati i ko je razbio prozor).
Rjeenje:
injenice da je svaki od djeaka rekao po dvije istine i jednu la, moemo napisati kao sljedee
izraze:

I I I I I I I I I

M M M M M M M M M
injenica da je jedan i samo jedan od djeaka razbio staklo zapravo znai da je od izjava
i M jedna i samo jedna lana, to moemo zapisati kao izraz
I

,I ,

Dalje, izjave I i , zatim M i

kao i M i
protivrjee jedna drugoj, dok izjave
i
kao i
i
tvrde istu stvar. Ovo moemo iskoristiti da smanjimo broj promjenljivih stavljanjem I = ,
M = ,M = , =
i
= . Uz ove smjene, do sada napisane injenice dobijaju oblik
4

Dr. eljko Juri: Matematika logika i teorija izraunljivosti

Zadaci predvieni za rad sa tutorom (rjeenja)

Rjeenja zadataka sa Tutorijala 1.

(akademska godina 2015/16)

I I

I M

I I

I M

I I
M
I M

I M

Kako svi ovi izrazi moraju istovremeno biti tani, slijedi da mora biti tana i njihova konjunkcija.
Formirajmo ovu konjunkciju, i pojednostavimo je da vidimo ta dobijamo:
(

(
=(

I I
(
=(

I I
(

)( I I I I
M )(
I M
I I
I M

I I )(
I M

I M

)
I M )=

I I
I I )(

I M
I M )=
I I

I M
=

I M
I I

I I

I M )=

I I

Poto znamo da je ovaj izraz taan, tani moraju biti , , I ,

i M , dok
i I moraju biti
lani. Zbog ve utvrenih veza izmeu promjenljivih, tani su i I ,
i M , dok su
i M lani.
Dakle, len je razbio prozor, a aris ga je lano branio. Ivan je slagao da igra bolje fudbal od
Marka. Kako je
taan, len nije namjerno razbio prozor. Marko je slagao da se prikljuio igri
naknadno, a kako je
taan, Marko je zapravo zaetnik nesretne ideje da se igraju loptom na
neprikladnom mjestu.
Napomena:
U naelu se problem mogao rijeiti i bez smanjenja broja promjenljivih. injenicu da izjave I i
protivrjee jedna drugoj moemo iskazati i kao injenicu da je od te dvije izjave, tana jedna i
samo jedna od njih. Stoga je izraz I I taan. Iz istog razloga, tani su i izrazi M M
i M M . injenicu da izjave
i
tvrde istu stvar moemo iskazati i kao injenicu da su
ili obje izjave tane, ili su obje izjave lane. Stoga je izraz

taan, a zbog istog razloga

taan je i izraz

. Kada sastavimo sve injenice, slijedi da mora biti taan sljedei

sloeni izraz:
(

)(I I I I I I I I I )(
(M M M M M M M M M )( I
M I
M
( I I )( M M )( M M )(

I
M I
)(

)
M )
)

Nakon dosta dugotrajnog sreivanja, dobija se izraz:

I I I

M M M

Zakljuci koji slijede su istovjetni kao to je izvedeno ranije.

7.

Jednog dana su Lana, len, na i Damir ostali sami kod kue. Mama im je strogo zabranila da
ulaze u kuhinju dok ona nije tu. Meutim, kad se mama vratila kui, imala je ta da vidi: zdjela sa
pudingom bila je razbijena u paramparad, dok su ostaci pudinga ukraavali tek oieni pod. Na
pitanje ta se desilo, djeca su dala sljedee odgovore:
Lana:

Alen:

L Nisam ja prevrnula zdjelu sa pudingom!

L Kad sam ja ula u kuhinju, tu je ve bio len!
L Damir je uao u kuhinju neposredno iza mene!
Posudu sa pudingom nisam prevrnuo ja!
Kad sam ja uao u kuhinju, tamo je ve bila Lana!
Damir je posljednji uao u kuhinju!
5

Dr. eljko Juri: Matematika logika i teorija izraunljivosti

Zadaci predvieni za rad sa tutorom (rjeenja)

Ena:

Damir:

Rjeenja zadataka sa Tutorijala 1.

(akademska godina 2015/16)

Meni ne bi palo na pamet da diram posudu sa pudingom!

I Lana i len lau!
Kad sam ula u kuhinju, tamo je ve bio Damir!
D Nemojte ni pomisliti da sam ja prevrnuo posudu sa pudingom!
D Kad sam posljednji put izlazio iz kuhinje, otamo se zauo jak prasak!
D len je uao u kuhinju prije mene!

Nakon ponovljenog sasluanja, poto su izjave sa prvog sasluanja oito dijelom protivrjene,
pokazalo se da je samo dijete koje je posljednje ulo u kuhinju govorilo samo istinu, dok su sva
ostala djeca izrekla po jednu la. rgumentirano utvrdite ko je razbio posudu sa pudingom i ko
je uao posljednji u kuhinju.
Rjeenje:
Da bismo pojednostavili problem, prvo utvrdimo ta se intuitivno moe odmah zakljuiti. Lana
sigurno nije ula posljednja u kuhinju, jer ako bi to bilo tano, sve tri njene izjave bi bile tane,
to je u protivrjenosti sa izjavom L . Slijedi da je jedna od izjava L , L i L lana, odnosno istinit
je izraz
L L L L L L L L L
Za Alena vrijedi analogno rezonovanje, tako da je istinit izraz

Na osnovu provedenog rezonovanja sigurno slijedi da je izjava

tana, tako da je sigurno
= . Ostaju dakle mogunosti da na govori samo istinu, ili da Damir govori samo istinu. Radi
jednostavnosti, razmotrimo posebno obje pretpostavke.
Pretpostavka 1: na je ula posljednja.
Uz ovu pretpostavku, imamo
= = = . Takoer, uz istu pretpostavku imamo
= ,
odakle slijedi da mora biti
=
= . Kako izjava L protivrjei izjavi , tada mora biti L = ,
odakle je L = L = . Dakle, uz ovu pretpostavku krivac moe biti samo Damir, te je D = .
Meutim, iz izjave D slijedi izjava D , te je tana implikacija D D , to je mogue samo ako je
D = . Meutim, ovo je protivrjeno sa injenicom da niko nije izrekao vie od jedne lai. Dakle,
ova pretpostavka vodi u protivrjenost.
Pretpostavka 2: Damir je uao posljednji.
Uz ovu pretpostavku, imamo D = D = D = i = . Stoga je = = i krivca treba traiti
meu Lanom i lenom. Stoga je taan izraz L
L . Takoer, tada je i 3 = , te zato imamo
da je taan izraz

. Konano, vidimo da izjave L i

tvrde suprotno, pa je najvie
jedna od njih tana. Meutim, kako jedna od njih mora biti tana, to je taan izraz L
L
.
Sredimo sada konjunkciju izraza za koje smo utvrdili da su tani:
(L L L L L L L L L )(

= (L L L L L L L L L ) (L

)(L
L

= (L L L L L L L L L ) (L L
=L L L

L L L

= L (L L

)(L

)(L
L L
L L

L
L

)=
)=

)=
)

Slijedi da je izjava L sigurno tana. Tada, kako je Damir uao posljednji, Alen nikako nije mogao
ui nakon Lane (zbog tanosti L ), tako da je
= odnosno L = . To ostavlja samo mogunost
da bude L = , odnosno krivac je Lana.