Dr.

Željko Jurić: Matematička logika i teorija izračunljivosti Zadaci za samostalno vježbanje 1

Kolekcija zadataka za utvrđivanje gradiva Akademska godina 2015/16

Zadaci za samostalno vježbanje 1.

Dolje navedeni zadaci po svom sadržaju prate Predavanje 1 i predviđeni su da se urade samostalno radi
utvrđivanja gradiva. Zvjezdicom su označeni teži zadaci. Za neke od zadataka je postavljen link na
lokaciju na Internetu gdje se može pronaći njihovo rješenje.

1. Napišite logički izraz D korištenjem isključivo standardnih simbola

matematičke logike ,  i .
Rješenje: http://dm.etf.unsa.ba/1.1.pdf

2. Sastavite tablicu istine za logički izraz .

Rješenje: http://dm.etf.unsa.ba/1.2.pdf

3. Pokažite da su izrazi  (  B  ) D i ABC  (  ) D ekvivalentni koristeći tablice istine. Šta se

može zaključiti?

4*. Dokažite drugu De Morganovu teoremu pravilo [20] koristeći samo aksiome logike iskaza.

5*. Koristeći isključivo aksiome logike iskaza, dokažite sljedeću tvrdnju: Ukoliko vrijedi P Q = ⊥ i
P  Q = ⊤, tada mora vrijediti Q = P.
Rješenje: http://dm.etf.unsa.ba/1.6.pdf

6*. Dokažite pravilo dvostruke negacije [15] koristeći pomoćnu tvrdnju dokazanu u zadatku 5.
Rješenje: http://dm.etf.unsa.ba/1.7.pdf

7*. Dokažite obje De Morganove teoreme koristeći pomoćnu tvrdnju dokazanu u zadatku 5.
Rješenje: http://dm.etf.unsa.ba/1.8.pdf

8. Koliko ima međusobno neekvivalentnih logičkih izraza koji sadrže n promjenljivih? Obrazložite
odgovor. Posebno utvrdite koliko ima međusobno neekvivalentnih logičkih izraza sa 2, 3, 4, 5 i 6
promjenljivih.
Rješenje: http://dm.etf.unsa.ba/1.9.pdf

9. Kombiniranjem raznih pravila iskazne algebre, pojednostavite logički izraz Y = AB  AC  C koliko

god je to moguće. Provjerite dobijeni rezultat formiranjem tablica istine za polazni i dobijeni izraz.
Rješenje: http://dm.etf.unsa.ba/1.12.pdf

10. Pojednostavite koliko je god moguće sljedeće logičke izraze, koristeći samo pravila iskazne algebre:
a) (A  B) (  B  C) (  B  )
b) ABC  BC  A C  AB
c) A  ABC  BC  B  AD  D
Rješenje: http://dm.etf.unsa.ba/1.13.pdf

11*. Minimizirajte logički izraz (  C)  BC  A korištenjem isključivo pravila iskazne algebre.

Rješenje: http://dm.etf.unsa.ba/1.14.pdf

12. Primjenom zakona iskazne algebre, minimizirajte sljedeće logičke izraze:

a) D D b) D D
c) D D d) D D
Rješenje: http://dm.etf.unsa.ba/1.15.pdf

1
Dr. Željko Jurić: Matematička logika i teorija izračunljivosti Zadaci za samostalno vježbanje 1
Kolekcija zadataka za utvrđivanje gradiva Akademska godina 2015/16

13. Pojednostavte sljedeće logičke izraze, koliko god je to moguće, korištenjem samo zakona logike
iskaza:
a) D b)  D
Rješenje: http://dm.etf.unsa.ba/1.16.pdf

14. Primjenom De Morganovih teorema, nađite negacije sljedećih logičkih izraza, ali tako da se u
rezultatu ne pojavljuju složene negacije odnosno, negacije bilo čega što nije samo promjenljiva).
Šta možete zaključiti posmatrajući dobijene rezultate?
a)  b) (A  B) C c) A  B
d) A  e) A (B  CD) f) ABC  B (  D)
Rješenje: http://dm.etf.unsa.ba/1.17.pdf

15. Nađite negaciju logičkog izraza  B (  D u što je god moguće prostijem obliku.
Rješenje: http://dm.etf.unsa.ba/1.18.pdf

16*. Nađite negacije sljedećih logičkih izraza, u što je god moguće prostijem obliku:
a) (A  D) ( D  B( A)) b) BC  (  B  D) (ABD  )
Rješenje: http://dm.etf.unsa.ba/1.19.pdf

17*. Pokažite da se logički izraz D  BD  ABCD  C  CD može svesti na ekvivalentni minimalni

oblik A D  BD(  C)  C. Pri tome smijete koristiti isključivo zakone logike iskaza, odnosno ne
smijete koristiti neke od algoritama za minimizaciju, poput Quineovog algoritma, itd.

18. Napišite što jednostavniju formulu logike iskaza sa 5 promjenljivih koja je tačna ako i samo ako su
barem dvije promjenljive bilo koje koje ulaze u njen sastav tačne, kao i formulu koja je tačna ako
i samo ako su tačno dvije od 5 promjenljivih koje ulaze u njen sastav tačne. Zadatak riješite
intuitivno (dakle, bez formiranja tablice istine i primjene nekog od algoritama minimizacije, poput
Quineovog algoritma).

19. Za američke predsjedničke izbore kandidirani su arack H. Obama i John Mc ain, od kojih jedan i
samo jedan može pobijediti. arack H. Obama će pobijediti ukoliko kod merikanaca bude
dovoljno raspoloženja za promjene. Raspoloženje za promjene će postojati ukoliko merikanci
uspiju prevladati dugogodišnje rasne barijere ili ukoliko im dojadi surova međunarodna politika
koju je vodio George ush. Ukoliko John Mc ain ne pobijedi, krupni kapitalisti neće 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
dugogodišnje rasne barijere.
Rješenje: http://dm.etf.unsa.ba/1.28.pdf

20. Kandidat M. pred lokalne izbore obećava:

“Ili ću vam napraviti tobogan dug 10 km, ili ću vam napraviti solarnu elektranu. Ako vam napravim
tobogan ili zoološki vrt, ili ću biti smijenjen, ili ću uspjeti napraviti solarnu elektranu. A smijeniće me
ako i samo ako napravim tobogan i ne napravim solarnu elektranu. Ako napravim zoološki vrt, onda
me ili neće smijeniti, ili neću napraviti tobogan. Ili ću napraviti zoološki vrt i biti smijenjen, ili neću
napraviti solarnu elektranu.”
Ispitajte formalnim putem da li je njegovo predizborno obećanje konzistentno ili kontradiktorno.
Ukoliko je konzistentno, pronađite moguće scenarije koji zadovoljavaju njegovo predizborno
obećanje (zadatak je inspirisan predizbornim “lupetanjima” kandidata Mirada Hadžihmetovića za
gradonačelnika Zenice na lokalnim izborima 2012. godine).