Dr.

eljko Juri: Matematika logika i teorija izraunljivosti

Kolekcija zadataka za utvrivanje gradiva

Zadaci za samostalno vjebanje 1

Akademska godina 2015/16

Zadaci za samostalno vjebanje 1.

Dolje navedeni zadaci po svom sadraju prate Predavanje 1 i predvieni su da se urade samostalno radi
utvrivanja gradiva. Zvjezdicom su oznaeni tei zadaci. Za neke od zadataka je postavljen link na
lokaciju na Internetu gdje se moe pronai njihovo rjeenje.
1.

Napiite logiki izraz

matematike logike , i .

koritenjem iskljuivo standardnih simbola

Rjeenje: http://dm.etf.unsa.ba/1.1.pdf
2.

Sastavite tablicu istine za logiki izraz

Rjeenje: http://dm.etf.unsa.ba/1.2.pdf
3.

Pokaite da su izrazi
moe zakljuiti?

( B ) D i ABC ( ) D ekvivalentni koristei tablice istine. ta se

4*. Dokaite drugu De Morganovu teoremu pravilo [20] koristei samo aksiome logike iskaza.
5*. Koristei iskljuivo aksiome logike iskaza, dokaite sljedeu tvrdnju: Ukoliko vrijedi P Q = i
P Q = , tada mora vrijediti Q = P.
Rjeenje: http://dm.etf.unsa.ba/1.6.pdf
6*. Dokaite pravilo dvostruke negacije [15] koristei pomonu tvrdnju dokazanu u zadatku 5.
Rjeenje: http://dm.etf.unsa.ba/1.7.pdf
7*. Dokaite obje De Morganove teoreme koristei pomonu tvrdnju dokazanu u zadatku 5.
Rjeenje: http://dm.etf.unsa.ba/1.8.pdf
8.

Koliko ima meusobno neekvivalentnih logikih izraza koji sadre n promjenljivih? Obrazloite
odgovor. Posebno utvrdite koliko ima meusobno neekvivalentnih logikih izraza sa 2, 3, 4, 5 i 6
promjenljivih.
Rjeenje: http://dm.etf.unsa.ba/1.9.pdf

9.

Kombiniranjem raznih pravila iskazne algebre, pojednostavite logiki izraz Y = AB AC C koliko

god je to mogue. Provjerite dobijeni rezultat formiranjem tablica istine za polazni i dobijeni izraz.
Rjeenje: http://dm.etf.unsa.ba/1.12.pdf

10. Pojednostavite koliko je god mogue sljedee logike izraze, koristei samo pravila iskazne algebre:
a) (A B) ( B C) ( B )
b) ABC BC A C AB
c) A ABC BC B AD D
Rjeenje: http://dm.etf.unsa.ba/1.13.pdf
11*. Minimizirajte logiki izraz ( C) BC A koritenjem iskljuivo pravila iskazne algebre.
Rjeenje: http://dm.etf.unsa.ba/1.14.pdf
12. Primjenom zakona iskazne algebre, minimizirajte sljedee logike izraze:
a)
D
D
b)
D
D
c)
D
D
d)
D
D
Rjeenje: http://dm.etf.unsa.ba/1.15.pdf

Dr. eljko Juri: Matematika logika i teorija izraunljivosti

Kolekcija zadataka za utvrivanje gradiva

Zadaci za samostalno vjebanje 1

Akademska godina 2015/16

13. Pojednostavte sljedee logike izraze, koliko god je to mogue, koritenjem samo zakona logike
iskaza:

a)

b)

Rjeenje: http://dm.etf.unsa.ba/1.16.pdf
14. Primjenom De Morganovih teorema, naite negacije sljedeih logikih izraza, ali tako da se u
rezultatu ne pojavljuju sloene negacije odnosno, negacije bilo ega to nije samo promjenljiva).
ta moete zakljuiti posmatrajui dobijene rezultate?
a)
b) (A B) C
c) A B
d) A
e) A (B CD)
f) ABC B ( D)
Rjeenje: http://dm.etf.unsa.ba/1.17.pdf
15. Naite negaciju logikog izraza

B ( D u to je god mogue prostijem obliku.

Rjeenje: http://dm.etf.unsa.ba/1.18.pdf
16*. Naite negacije sljedeih logikih izraza, u to je god mogue prostijem obliku:
a) (A D) ( D B( A))
b) BC ( B D) (ABD )
Rjeenje: http://dm.etf.unsa.ba/1.19.pdf
17*. Pokaite da se logiki izraz D BD ABCD C CD moe svesti na ekvivalentni minimalni
oblik A D BD( C) C. Pri tome smijete koristiti iskljuivo zakone logike iskaza, odnosno ne
smijete koristiti neke od algoritama za minimizaciju, poput Quineovog algoritma, itd.
18. Napiite to jednostavniju formulu logike iskaza sa 5 promjenljivih koja je tana ako i samo ako su
barem dvije promjenljive bilo koje koje ulaze u njen sastav tane, kao i formulu koja je tana ako
i samo ako su tano dvije od 5 promjenljivih koje ulaze u njen sastav tane. Zadatak rijeite
intuitivno (dakle, bez formiranja tablice istine i primjene nekog od algoritama minimizacije, poput
Quineovog algoritma).
19. Za amerike predsjednike izbore kandidirani su arack H. Obama i John Mc ain, od kojih jedan i
samo jedan moe pobijediti. arack H. Obama e pobijediti ukoliko kod merikanaca bude
dovoljno raspoloenja za promjene. Raspoloenje za promjene e postojati ukoliko merikanci
uspiju prevladati dugogodinje rasne barijere ili ukoliko im dojadi surova meunarodna politika
koju je vodio George ush. Ukoliko John Mc ain ne pobijedi, krupni kapitalisti nee biti zadovoljni.
Rezultati anketa pouzdano pokazuju da je Amerikancima dojadila Bushova politika. Odredite
formalnim putem da li e krupni kapitalisti biti zadovoljni, te da li su Amerikanci prevladali
dugogodinje rasne barijere.
Rjeenje: http://dm.etf.unsa.ba/1.28.pdf
20. Kandidat M. pred lokalne izbore obeava:
Ili u vam napraviti tobogan dug 10 km, ili u vam napraviti solarnu elektranu. Ako vam napravim
tobogan ili zooloki vrt, ili u biti smijenjen, ili u uspjeti napraviti solarnu elektranu. A smijenie me
ako i samo ako napravim tobogan i ne napravim solarnu elektranu. Ako napravim zooloki vrt, onda
me ili nee smijeniti, ili neu napraviti tobogan. Ili u napraviti zooloki vrt i biti smijenjen, ili neu
napraviti solarnu elektranu.
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 lupetanjima kandidata Mirada Hadihmetovia za
gradonaelnika Zenice na lokalnim izborima 2012. godine).