Dr. Ž. Jurić, Dr. R.

Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2

Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

Rješenja zadataka sa Tutorijala 2

1. Pretpostavimo da su poznate sljedeće činjenice:
− Nakon odigranog derbija, Sabahudin Topalbećirević (Baho) je sretan ako i samo ako je
pobijedio FK Sarajevo;
− Nakon odigranog derbija, slaviće ili bordo ili plavi navijači, ali ne i jedni i drugi;
− Ukoliko je pobijedio FK Sarajevo, slaviće bordo navijači;
− Derbi je odigran, i slave plavi navijači.
Iz ovih činjenica može se zaključiti da Sabahudin Topalbećirević nije sretan. Dokažite ispravnost
ovog rezonovanja formalnim putem.
Rješenje:
Uvedimo sljedeće logičke promjenljive:
A − Odigran je derbi
B − Sabahudin Topalbećirević je sretan
C − FK Sarajevo je pobijedio
D − Slave bordo navijači
E − Slave plavi navijači

Uz ovakve oznake, iskazane pretpostavke mogu se redom iskazati kao A ⇒ (B ⇔ C), A ⇒ (D ⊻ E),
̅. Dakle, treba pokazati daje izraz
C ⇒ D i A ∧ E, dok je zaključak prosto B
̅
(A ⇒ (B ⇔ C)) ∧ (A ⇒ (D ⊻ E)) ∧ (C ⇒ D) ∧ (A ∧ E) ⇒ B

tautologija. Pokažimo da je zaista tako:

̅=
(A ⇒ (B ⇔ C)) ∧ (A ⇒ (D ⊻ E)) ∧ (C ⇒ D) ∧ (A ∧ E) ⇒ B
= (̅ ∨ BC ∨ B
̅ ̅ )( ̅ ∨ DE
̅∨D
̅ E)( ̅ ∨ D)AE ⇒ B
̅=
= (A̅ ∨ ABC ∨ AB ̅ ̅ )(̅E ∨ DE
̅E ∨ D
̅ EE)( ̅ ∨ D) ⇒ B ̅
̅ ̅ )(̅E ∨ D
= (ABC ∨ AB ̅ E)( ̅ ∨ D) ⇒ B̅ = AE(BC ∨ B
̅ ̅ )( ̅ ∨ D
̅ )( ̅ ∨ D) ⇒ B
̅=
= E(BC ∨ B ̅ ̅ )(A ̅ ∨ AD
̅ )( ̅ ∨ D) ⇒ B̅ = AE(BC ∨ B̅ ̅ )D
̅ ( ̅ ∨ D) ⇒ B̅=
̅ ̅ )( ̅ D
= AE(BC ∨ B ̅ ∨ DD̅) ⇒ B̅ = A̅ D ̅ E(BC ∨ B
̅ ̅) ⇒ B
̅ = ABC ̅ D ̅ E ∨ AB
̅̅D̅E ⇒ B
̅=
= AB ̅̅D ̅E ⇒ B ̅ = ̅̅̅̅̅̅̅̅̅̅
̅̅D
B ̅E ⇒ B̅ =̅ ∨B∨C∨D∨E ̅∨B ̅=⊤

Ovim smo pokazali da je razmatrani izraz zaista tautologija. Naravno, ovo nije jedini način da se
pokaže tautologičnost ovog izraza. Drugi, a često i najbolji način da se pokaže tautologičnost
izraza oblika ∧ ∧ ... ∧ ⇒ Y je da se pokaže kontradiktornost njihove negacije, koja ima
oblik ∧ ∧ ... ∧ ∧Y ̅. Ovaj indirektni postupak često brže dovodi do rješenja. U našem
primjeru, negacija razmatranog izraza ima oblik

(A ⇒ (B ⇔ C)) ∧ (A ⇒ (D ⊻ E)) ∧ (C ⇒ D) ∧ (A ∧ E) ∧ B

Pokažimo da je ovaj izraz zaista kontradiktoran:

(A ⇒ (B ⇔ C)) ∧ (A ⇒ (D ⊻ E)) ∧ (C ⇒ D) ∧ (A ∧ E) ∧ B =
= (̅ ∨ BC ∨ B
̅ ̅ )( ̅ ∨ DE
̅∨D
̅ E)( ̅ ∨ D)ABE =
= (A̅B ∨ ABBC ∨ ABB ̅ ̅ )( ̅E ∨ DE̅E ∨ D̅ EE)( ̅ ∨ D) =
= ABC(̅E ∨ D
̅ E)( ̅ ∨ D) = B(A̅E ∨ AD ̅ E)(C ̅ ∨ CD) = ABCDD ̅E = ⊥

Što se tiče direktnog dokazivanja tautologičnosti, mogli smo krenuti i ovim putem, koji je korektan,
ali komplikovaniji (i velika je šansa da se negdje usput “spetljamo”), jer je potrebno nekoliko
puta primijeniti pravilo o neutraliziranju negacije X ∨ ̅Y = X ∨ Y:
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

(A ⇒ (B ⇔ C)) ∧ (A ⇒ (D ⊻ E)) ∧ (C ⇒ D) ∧ (A ∧ E) ⇒ B ̅=
= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
( ⇒ (B ⇔ ))( ⇒ (D ⊻ E))( ⇒ D) E ∨ B ̅ = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(̅ ∨ B ∨ B ̅ ̅ )(̅ ∨ DE ̅∨D ̅ E)( ̅ ∨ D) E ∨ B ̅=
= ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅∨B ∨B ̅ ̅ ∨ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ∨ DE̅∨D ̅ E ∨ ̅̅̅̅̅̅̅
̅ ∨D∨̅∨̅ ̅̅̅̅ ̅̅̅̅
̅ = AB
E∨B ̅̅̅̅
̅ ̅ ∨ ADE
B ̅ ̅̅̅̅
̅ E ∨ CD
D ̅ ∨̅∨̅ ̅=
E∨B
= (̅ ∨ AB ̅̅̅̅ ̅̅̅̅
B ̅̅̅̅
̅ ̅ ) ∨ (̅ ∨ ADE ̅ ̅̅̅̅
̅ E) ∨ CD
D ̅ ∨E
̅∨B
̅=̅∨B ̅̅̅̅ ̅̅̅̅
̅ ̅ ∨ ̅̅̅̅
B DE̅ ̅̅̅̅
̅ E ∨ CD
D ̅ ∨E
̅∨B
̅=
= ̅ ∨ (B̅ ∨ ̅ )(B ∨ C) ∨ (D
̅ ∨ E)(D ∨ E
̅) ∨ CD
̅ ∨E̅∨B̅=
=̅∨B
̅ ∨ B̅ ∨ D
̅E̅ ∨ DE ∨ CD ̅ ∨E
̅∨B ̅ = ̅ ∨ (B
̅∨B ̅ ) ∨ B ̅ ∨ (E
̅∨D
̅E̅) ∨ DE ∨ CD
̅=⊤

U ovom slučaju, pametnije je bilo da se ne oslobađamo prebrzo glavne implikacije. To obično

vrijedi kada je broj hipoteza relativno mali (obično do 3) i kada hipoteze imaju dosta zajedničkih
promjenljivih. Međutim, u slučaju da ima veći broj hipoteza, ili ukoliko hipoteze nemaju dosta
zajedničkih promjenljivih, obično je bolje odmah se osloboditi implikacije (ali će se onda kasnije
morati dosta koristiti pravilo o neutraliziranju negacije). Nažalost, nema garancije da će uvijek
biti tako. Nema univerzalnog pravila kojim putem ići da količina računanja bude što je god
moguće manja, mada se može dati preporuka da je kod iole složenijih tautologija najbolje ići na
pokazivanje kontradiktornosti njihove negacije. Inače, vještina brzog izvođenja rezultata može
se steći samo iskustvom.

S obzirom na veliki značaj principa rezolucije u metodama i primjenama vještačke inteligencije i

automatskog rezonovanja pomuću računara, pokažimo još kako se problem može riješiti uz
pomoć principa rezolucije. Za primjenu ovog principa, potrebno je pokazati da je negacija
polaznog izraza kontradiktorna, odnosno da je kontradiktoran izraz
(A ⇒ (B ⇔ C)) ∧ (A ⇒ (D ⊻ E)) ∧ (C ⇒ D) ∧ (A ∧ E) ∧ B

Ovaj izraz baš i nije pogodan za testiranje metodom rezolucije, jer hipoteze koje se u njemu
javljaju imaju “nezgodan” oblik. Stoga prvo svedimo ovaj izraz da ove “nezgodne” hipoteze dobiju
oblik u kojem se javljaju elementarne disjunkcije. Oslobodimo li se implikacija, ekvivalencije i
ekskluzivne disjunkcije, ovaj izraz dobija oblik

(̅ ∨ BC ∨ B
̅ ̅ ) ∧ (̅ ∨ DE
̅∨D
̅ E) ∧ ( ̅ ∨ D) ∧ A ∧ E ∧ B

Dalje, možemo pisati:

̅ ∨ BC ∨ B
̅ ̅ = ̅ ∨ (B
̅ ∨ B )( ̅ ∨ B ) = ̅ ∨ (B
̅ ∨ C)(B ∨ ̅ ) = (̅ ∨ B
̅ ∨ )(̅ ∨ B ∨ ̅ )
̅ ∨ DE
̅∨D
̅ E = ̅ ∨ (D ∨ D
̅ E)(E
̅∨D
̅ E) = ̅ ∨ (D ∨ E)(D
̅ ∨̅
E) = (̅ ∨ D ∨ E)(̅ ∨ D
̅ ∨̅
E)
Stoga se dati izraz može zapisati u obliku

(̅ ∨ B
̅ ∨ ) ∧ (̅ ∨ B ∨ ̅ ) ∧ (̅ ∨ D ∨ E) ∧ (̅ ∨ D
̅ ∨E
̅) ∧ ( ̅ ∨ D) ∧ A ∧ E ∧ B

koji ima oblik konjunkcije hipoteza = ̅ ∨ B

̅ ∨ C, = ̅ ∨ B ∨ ̅ , = ̅ ∨ D ∨ E, = ̅ ∨ D ̅ ∨E ̅,
= ̅ ∨ D, = A, = E i negacije zaključka Y
̅ = B, koje sve imaju oblik elementarnih disjunkcija.
Sad možemo primijeniti metod rezolucije:

(1) ̅∨B̅∨ (hipoteza )

(2) ̅∨D̅ ∨̅
E (hipoteza )
(3) ̅∨D (hipoteza )
(4) A (hipoteza )
(5) E (hipoteza )
(6) B (negacija zaključka)
(7) ̅∨
B (rezolucija iz (1) i (4), zapravo modus ponens)
(8) ̅ ∨E
D ̅ (rezolucija iz (2) i (4), također modus ponens)
(9) C (rezolucija iz (6) i (7), također modus ponens)
(10) ̅
D (rezolucija iz (5) i (8))
(11) ̅ (rezolucija iz (3) i (10))
Kako su (9) i (11) kontradiktorni, razmatrani izraz je kontradiktoran, odnosno polazni izraz je
tautologija, što je i trebalo pokazati. Primijetimo da nam za izvođenje kontradikcije uopće nisu
bile potrebne činjenice i . To zapravo znači da se traženi zaključak mogao izvesti i uz manju
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

količinu hipoteza, odnosno uz slabije pretpostavke nego što je postavljeno u zadatku. Na primjer,
umjesto pretpostavke da je Sabahudin Topalbećirević sretan ako i samo ako je pobijedio FK
Sarajevo, dovoljno je bilo pretpostaviti da je Sabahudin Topalbećirevoć sretan samo ako je
pobijedio FK Sarajevo. Takva oslabljena formulacija dopušta da Sabahudin Topalbećirević ne
bude sretan čak i ako je pobijedio FK Sarajevo, ali ako pobijedi on će biti sigurno sretan
(formalno, uz takvu oslabljenu formulaciju, ekvivalencija B ⇔ će biti zamijenjena implikacijom
C ⇒ B). Međutim, rezonovanje ostaje na snazi i uz ovakvu oslabljenu pretpostavku.
Na kraju recimo još i ovo. Mnogi prilikom rješavanja ovog zadatka naprave grešku koja se sastoji
u tome da ne uvode promjenljivu koja izražava činjenicu da je derbi odigran, nego implicitno
pretpostavljaju da derbi jeste odigran. Mada se ispravnost rezonovanja može pokazati i iz takvog
modela (odnosno, formirani izraz će i dalje biti tautologija), to je ipak logička greška u modelu,
jer logički izraz koji modelira postavljeni problem mora uzeti u obzir sve varijable koje opisuju
događaje koji se mogu, ali ne moraju desiti. Zaista, moglo se desiti da derbi uopće nije odigran.

2. Neka su poznate sljedeće činjenice:

– Ukoliko doktorant uspije dokazati Riemannovu hipotezu, tada je on izuzetno pametan, ili je
imao mnogo sreće;
– Doktorant koji nije izuzetno pametan ne razumije analitičku teoriju brojeva;
– Doktorant neće uspjeti uraditi doktorat jedino ukoliko ne bude imao sreće.
Neko je odavde izvukao zaključak da ukoliko doktorant uspije dokazati Riemannovu hipotezu,
tada on razumije analitičku teoriju brojeva ili će uspjeti uraditi doktorat. Pokažite formalnim
putem da ovaj zaključak ne slijedi iz pretpostavki, tako što ćete pronaći scenario za koji je
rezonovanje netačno (za tu svrhu, prethodno pojednostavite izraz koji opisuje rezonovanje
koliko god je to moguće). Da li je ovaj scenario realan sa aspekta “zdravog razuma”?

Rješenje:
Uvedimo sljedeće oznake:
A − Doktorant će dokazati Riemannovu hipotezu;
B − Doktorant je izuzetno pametan;
C − Doktorant ima mnogo sreće
D − Doktorant razumije analitičku teoriju brojeva;
E − Doktorant će uraditi doktorat.
Izrečene hipoteze se sad mogu iskazati u obliku A ⇒ B ∨ C, B ̅⇒D ̅ iE̅ ⇒ ̅ respektivno, dok se
zaključak može iskazati u obliku ⇒ D ∨ E. Pretpostavimo da ovaj zaključak zaista slijedi iz
̅ ⇒D
hipoteza i ispitajmo da li je (A ⇒ B ∨ C) ∧ (B ̅ ) ∧ (E
̅ ⇒ ̅ ) ⇒ (A ⇒ D ∨ E) tautologija:

(A ⇒ B ∨ C) ∧ (B ̅⇒D ̅ ) ∧ (E
̅ ⇒ ̅ ) ⇒ (A ⇒ D ∨ E) = (̅ ∨ B ∨ C)(B ∨ D ̅ )(E ∨ ̅ ) ⇒ (̅ ∨ D ∨ E) =
= (̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ∨ B ∨ )(B ∨ D ̅ )(E ∨ ̅ ) ∨ ̅ ∨ D ∨ E = ̅̅̅̅̅̅̅̅̅̅̅̅
̅ ∨ B ∨ ∨ ̅̅̅̅̅̅̅
̅ ∨E
B∨D ̅̅̅̅̅̅̅
∨ ̅ ∨̅∨D∨E=
̅̅ ∨B
= AB ̅D ∨ ̅
EC ∨ ̅ ∨ D ∨ E = (̅ ∨ AB
̅ ̅ ) ∨ (D ∨ B
̅D) ∨ (E ∨ ̅
EC) = ̅ ∨ B
̅̅ ∨ D ∨E ∨C =
= ̅ ∨ (C ∨ B
̅ ̅) ∨ D ∨ E = ̅ ∨ B̅∨C∨D∨E

Došli smo do izraza koji se očigledno ne može dalje pojednostaviti (elementarna disjunkcija). U
ovom primjeru, za razliku od prethodnih, eliminaciju glavne implikacije izveli smo odmah na
samom početku. Da smo išli drugačijim redoslijedom, postupak bi bio dugotrajniji (preporučuje se
studentima da sami to probaju, da se uvjere u to). Ovo ide u prilog onome o čemu smo govorili da
generalno nema pouzdanog pravila kojim redoslijedom vršiti sređivanje izraza sa ciljem da se
najbrže dođe do rješenja.

U svakom slučaju, očigledno je da ovo nije tautologija (izraz nije identički istinit), tako da
rezonovanje nije tačno za onaj scenario kod kojeg je izraz ̅ ∨ B ̅ ∨ C ∨ D ∨ E netačan odnosno,
ukoliko su i B tačni, a , D i E netačni (takve scenarije nazivamo kontramodelima razmatranog
rezonovanja). Drugim riječima rezonovanje nije tačno u scenariju gdje je doktorant dokazao
Riemannovu hipotezu i izuzetno je pametan, a pri tome nema mnogo sreće, ne razumije
analitičku teoriju brojeva i neće uraditi doktorat. Sa aspekta zdravog razuma, ovaj scenarij nije
realan (jer je teško zamislivo da neko ko dokaže Riemannovu hipotezu ne razumije analitičku
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

teoriju brojeva na kojoj se ova hipoteza zasniva, i da neće uraditi doktorat, jer dokaz Riemannove
hipoteze znatno prevazilazi ono što je potrebno za jedan doktorat). Međutim, činjenica je da
rezonovanje nije ispravno, jer ako se ovaj scenarij ostvari, zaključak ne vrijedi. Treba imati u vidu
da se logika ne bavi ispitivanjem je su li hipoteze smislene ili ne, i mogu li se ostvariti ili ne, nego
samo da li zaključak slijedi iz hipoteza ako se pretpostavi da su se one ostvarile.

3. Nađite SDNF i SKNF za logički izraz (̅̅̅̅̅̅̅

∨B̅ ∨ ̅̅̅̅
̅ ̅̅̅̅̅ ) ̅̅̅̅̅̅̅̅̅
̅∨B .

Rješenje:

(̅̅̅̅̅̅̅
∨B̅ ∨ ̅̅̅̅
̅ ̅̅̅̅̅ ) ̅̅̅̅̅̅̅̅̅
̅ ∨ B = (̅B ∨ (A ∨ ̅ )(̅ ∨ C)) A B̅̅̅̅ = (̅B ∨ AC  ̅ ̅ ) A(B
̅ ∨ ̅) =
= AC(B ̅ ∨ ̅ ) = AB̅C

Interesantno je da se rezultat sastoji od samo jedne minterme (SDNF se može sastojati i od samo
jedne minterme). Zato će SKNF biti dugačka (što je SDNF kraća, SKNF je duža i obratno). Da
bismo došli do SKNF, možemo krenuti recimo od izraza (B ̅ ∨ ̅ ) koji smo dobili u predzadnjem
koraku, i od njega krenuti proširivanje:

(̅̅̅̅̅̅̅
∨B̅ ∨ ̅̅̅̅
̅ ̅̅̅̅̅ ) ̅̅̅̅̅̅̅̅̅
̅ ∨ B = AC(B ̅ ∨ ̅ ) = AC(A ∨ B
̅ ∨ ̅ )( ̅ ∨ B
̅ ∨ ̅) =
= (A ∨ B)(A ∨ B ̅)(B ∨ C)(B
̅ ∨ C)(A ∨ B̅ ∨ ̅ )(̅ ∨ B
̅ ∨ ̅) =
= (A ∨ B ∨ C)(A ∨ B ∨ ̅ )(A ∨ B
̅ ∨ C)(A ∨ B
̅ ∨ ̅ )(A ∨ B ∨ C)( ̅ ∨ B ∨ C) ...
̅ ∨ C)(̅ ∨ B
... (A ∨ B ̅ ∨ C)(A ∨ B
̅ ∨ ̅ )(̅ ∨ B̅ ∨ ̅) =
= (A ∨ B ∨ C)(A ∨ B ∨ ̅ )(A ∨ B
̅ ∨ C)(A ∨ B
̅ ∨ ̅ )(̅ ∨ B ∨ C)(̅ ∨ B
̅ ∨ C)(̅ ∨ B
̅ ∨ ̅)

4. Svedite logički izraz ̅ B

̅ ̅ ∨ ̅B
̅ ∨ B
̅ ∨ ABC prvo na neki od oblika KNF, a zatim ga proširite do
oblika SKNF. Svođenje obavite prvo direktnim postupkom, a zatim postupkom dvojne negacije.

Rješenje:

Direktnim postupkom mogli bismo postupiti ovako:

̅B
̅ ̅ ∨ ̅B
̅ ∨ B
̅ ∨ ABC = ̅ B
̅( ̅ ∨ ) ∨ AC(B̅ ∨ B) = ̅ B
̅ ∨ AC = (̅ ∨ AC)(B
̅ ∨ AC) =
= (̅ ∨ C)(B
̅ ∨ AC) = (̅ ∨ C)(B
̅ ∨ A)(B̅ ∨ C)

Ovim smo našli jedan KNF oblik, koji dalje možemo proširiti do SKNF:

(̅ ∨ C)(B
̅ ∨ A)(B
̅ ∨ C) = (̅ ∨ B ∨ C)(̅ ∨ B
̅ ∨ C)(A ∨ B
̅ ∨ C)(A ∨ B
̅ ∨ ̅ )(A ∨ B
̅ ∨ C)(̅ ∨ B
̅ ∨ C) =
= (̅ ∨ B ∨ C)(̅ ∨ B
̅ ∨ C)(A ∨ B
̅ ∨ C)(A ∨ B
̅ ∨ ̅)

Postupkom dvojne negacije, negiraćemo početni izraz i svesti tu negaciju na neku DNF:
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅B̅ ̅ ∨ ̅B ̅ ∨ B ̅ ∨ B = ̅̅̅̅̅̅̅̅̅̅̅
̅B
̅∨ = ̅̅̅̅̅̅̅̅̅̅̅
̅B̅∨ =̅̅̅̅
̅B ̅ ̅̅̅̅ = (A ∨ B)(̅ ∨ ̅ ) = A ̅ ∨ ̅B ∨ B ̅

Sada, negacijom dobijene DNF negacije polaznog izraza dobijamo neku KNF polaznog izraza:
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ∨ ̅B ∨ B ̅ =̅̅̅̅
̅ ̅̅̅̅
̅B ̅̅̅̅
B ̅ = (̅ ∨ C)(A ∨ B
̅)(B
̅ ∨ C)

Slučajno smo dobili istu KNF kao i direktnim postupkom (što nije moralo da se desi, jer KNF nije
jedinstvena). Za nalaženje SKNF, nađenu DNF negacije polaznog izraza proširićemo do SDNF:

A ̅ ∨ ̅B ∨ B ̅ = AB ̅ ∨ AB
̅ ̅ ∨ ̅BC ∨ ̅B ̅ ∨ AB ̅ ∨ ̅B ̅ = AB ̅ ∨ AB
̅ ̅ ∨ ̅BC ∨ ̅B ̅

Ovim smo dobili SKNF negacije polaznog izraza. Ponovljenom negacijom dobićemo SKNF
polaznog izraza:
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
B̅ ∨ B ̅ ̅ ∨ ̅ B ∨ ̅ B ̅ =̅̅̅̅̅̅
B ̅ ̅̅̅̅̅̅
̅ ̅ ̅̅̅̅̅̅
B ̅B ̅̅̅̅̅̅
̅B ̅ = (̅ ∨ B
̅ ∨ C)(̅ ∨ B ∨ C)(A ∨ B
̅ ∨ ̅ )(A ∨ B
̅ ∨ C)

Dobili smo istu SKNF kao direktnim postupkom (ako zanemarimo drugačiji poredak članova),
što se moralo desiti, jer su SDNF i SKNF jedinstvene do na poredak članova.
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

5. Za logički izraz ̅ B
̅̅D
̅ ∨ ̅B ̅ D
̅ ∨ ̅B ̅ D ∨ ̅BCD ∨ AB
̅̅D
̅ ∨ AB ̅ D
̅ ∨ AB ̅ D ∨ B D nađite MDNF
primjenom Quine-McCluskyjevog algoritma.

Rješenje:

U prvoj etapi tražimo proste implikante, što je najlakše izvesti tabelarnim postupkom:

0 ABCD✓ BCD✓ ABD✓ BD

1 ̅BCD✓ AB ̅ D✓ B ̅ D✓ ̅BD✓ AB ̅ ✓ B̅
2 ̅B ̅ D✓ AB ̅ D
̅✓ ̅B ̅ ✓ B̅ D
̅✓ A̅ D
̅✓ ̅D
̅
3 ̅B ̅ D
̅ ✓ AB
̅̅D̅✓ ̅̅D ̅✓ ̅ ̅
B D✓̅
4 ̅B
̅̅D ̅✓

Dakle, proste implikante su BD, B ̅ i ̅ D

̅ . Prelazimo na tablicu prekrivanja:

̅B
̅̅D
̅ ̅B ̅ D
̅ ̅B ̅ D ̅BCD ̅̅D
AB ̅ AB ̅ D
̅ AB ̅ D ABCD
BD ✓ ✓ ✓ ✓
B̅ ✓ ✓ ✓ ✓
̅D
̅ ✓ ✓ ✓ ✓

Implikante BD i ̅ D
̅ su esencijalne, nakon čega se vidi da se implikanta B ̅ može izostaviti. Dakle,
tražena MDNF je BD ∨ ̅ D̅.

6. Pomoću Quine-Mc luskyjevog algoritma, nađite MDNF logičkog izraza ̅B ∨ B ̅ ∨ ̅ B

̅C.

Rješenje:

Prvo nam treba SDNF oblik ovog izraza:

̅B ∨ B ̅ ∨ ̅ B
̅C = ̅B(C ∨ ̅ ) ∨ B ̅ (A ∨ ̅) ∨ ̅ B
̅C = ̅BC ∨ ̅B ̅ ∨ B ̅ ∨ ̅ B
̅C

Prelazimo na traženje prostih implikanti:

0 − −
1 ̅BC✓ AB ̅ ✓ ̅B ̅C B̅
2 ̅B ̅ ✓ ̅ B
̅ C✓ −
3 −

Dakle, proste implikante su ̅B, ̅C i B ̅ . Prelazimo na tablicu prekrivanja:

̅BC AB ̅ ̅B ̅ ̅B
̅C
̅B ✓ ✓
̅C ✓ ✓
B̅ ✓ ✓

Implikante B ̅ i ̅ su esencijalne, nakon čega se vidi da se implikanta ̅B može izostaviti. Dakle,

tražena MDNF je B ̅  ̅C.

7. Quine-Mc luskyjevim algoritmom nađite MKNF za logički izraz A ̅  B

̅C  ̅ B
̅.

Rješenje:

Ovdje nam je potrebna SDNF negacije ovog izraza:

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ∨B ̅ ∨ ̅B ̅ = ̅̅̅̅̅ ̅̅̅̅
̅ ̅̅̅̅
B ̅B
̅ = (̅ ∨ )(B ∨ ̅ )( ∨ B) = (̅B ∨ ̅ ̅ ∨ B )( ∨ B) =
= ̅B ∨ ̅B ̅ ∨ B ∨ B = ̅B( ∨ ̅ ) ∨ ̅B ̅ ∨ B ∨ B ( ∨ ̅) = ̅B ∨ ̅B ̅ ∨ B
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

Prelazimo na traženje prostih implikanti:

0 ABC✓ BC
1 ̅BC✓ ̅B
2 ̅B ̅ ✓ −
3 −

Dakle, proste implikante su BC i ̅B. Prelazimo na tablicu prekrivanja:

ABC ̅BC ̅B ̅
B ✓ ✓
̅B ✓ ✓

Obje implikante su esencijalne, pa MDNF negacije polaznog izraza glasi B ∨ ̅B. Konačno, MKNF
polaznog izraza je
̅̅̅̅̅̅̅̅̅̅̅
B  ̅B =B̅̅̅̅ ̅̅̅̅
̅B = (B
̅ ∨ ̅ )( ∨ B
̅)

8. ̅C ∨ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
Predstavite logički izraz B ̅̅̅̅
̅B ∨ ( ∨ B ̅) na što je god moguće jednostavniji način koristeći
samo Shefferovu operaciju, odnosno samo Pierceovu operaciju.

Rješenje:

Prvo nađimo SDNF ovog izraza:

̅C ∨ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
AB ̅̅̅̅
̅B ∨ ( ∨ B ̅C ∨ ̅B ̅̅̅̅̅̅̅̅̅̅̅
̅) = AB ( ∨B ̅C ∨ ̅B( ̅ ∨ ̅̅̅̅̅̅̅
̅) = AB ∨B̅) = AB
̅C ∨ ̅B( ̅ ∨ ̅B) =
= AB ̅C ∨ ̅B ̅ ∨ ̅B = AB̅C ∨ ̅B ̅ ∨ ̅B( ∨ ̅ ) = AB ̅C ∨ ̅B ̅ ∨ ̅BC

Prelazimo na traženje prostih implikanti:

0 − −
1 ̅C
AB ̅BC✓ ̅B
2 ̅B ̅ ✓ −
3 −

̅C i ̅B. Prelazimo na tablicu prekrivanja:

Dakle, proste implikante su AB
̅C
AB ̅BC ̅B ̅
AB̅C ✓
̅B ✓ ✓

̅ ∨ ̅B. Stoga možemo pisati:

Obje implikante su esencijalne, pa MDNF izraza glasi AB

AB ̅ ∨ ̅ B =̅̅̅̅̅̅̅̅̅̅
̅ ∨ ̅B = ̿̿̿̿̿̿̿̿̿̿̿̿
B ̅̅̅̅̅̅
̅ ̅̅̅̅
B ̅B = ↑(A, B ↑ B, ) ↑ (( ↑ A) ↑ B)

Ovdje smo morali upotrijebiti ternarnu Shefferovu operaciju ↑(X, Y, Z) = ̅̅̅̅̅

YZ. Ukoliko dozvolimo
da se umjesto ↑(X, Y, Z) piše ↑ Y ↑ Z, pri čemu to onda nije sinonim niti za ( ↑ Y) ↑ Z, niti za
X ↑ (Y ↑ Z), tada prethodni izraz možemo napisati i u obliku
(A ↑ (B ↑ B) ↑ ) ↑ (( ↑ A) ↑ B)
Ukoliko je potrebno sve izraziti preko klasične (binarne) Shefferove operacije, možemo koristiti
relaciju ↑( , Y, Z) = (( ↑ Y) ↑ (X ↑ Y)) ↑ Z. Ovdje je najbolje staviti X = A, Y = C i Z = B ↑ B, jer ćemo
tako dobiti najjednostavniji izraz (Z se u prethodnoj formuli javlja samo jednom, a X i Y dvaput,
tako da je najbolje najduži podizraz uzeti da bude Z). Tako dobijamo:
̅ ∨ ̅B = (((A ↑ C) ↑ (A ↑ C)) ↑ (B ↑ B)) ↑ (( ↑ A) ↑ B)
AB
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

Za MKNF nam treba SDNF negacije polaznog izraza. Možemo je najbrže dobiti gledajući koje
minterme ne učestvuju u SDNF samog izraza:
̅B
̅ ̅ ∨ ̅B
̅C ∨ B
̅ ̅ ∨ B̅ ∨ B

Prelazimo na traženje prostih implikanti:

0 ABC✓ AB
1 AB ̅ ✓ A̅
2 ̅ ̅ ̅
BC✓ AB ✓ ̅ ̅B ̅ B ̅̅
3 ̅B ̅ ̅✓
Dakle, proste implikante su AB, i A ̅ , ̅ B
̅iB
̅ ̅ . Prelazimo na tablicu prekrivanja:

ABC AB ̅ ̅B
̅C ̅̅
AB ̅B
̅̅
AB ✓ ✓
A̅ ✓ ✓
̅B̅ ✓ ✓
̅̅
B ✓ ✓

Implikante AB i ̅ B
̅ su esencijalne, a od preostale dvije, možemo izabrati bilo koju od njih. To
nam daje dvije MDNF negacije polaznog izraza: AB ∨ ̅ B
̅ ∨ A ̅ ili AB ∨ ̅ B
̅ ∨B
̅ ̅ . To nakon negiranja
daje dvije MKNF polaznog izraza:

(̅ ∨ B
̅)( ∨ B)(̅ ∨ ) ili (̅ ∨ B
̅)( ∨ B)(B ∨ )

Odlučimo se da drugu MKNF prevodimo u oblik preko Peirceove operacije (jer u njemu ima
manje negacija):

(̅ ∨ B (̅ ∨ B̅)( ∨ B)(B ∨ ) = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅

̅)( ∨ B)(B ∨ ) = ̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿̿ ̅̅̅̅̅̅̅
̅∨B ̅ ∨ ̅̅̅̅̅̅̅
∨ B ∨ ̅̅̅̅̅̅̅
B∨ =
= ↓((A ↓ A) ↓ (B ↓ B), A ↓ B, B ↓ C)

Ovdje smo upotrijebili ternarnu Pierceovu operaciju ↓(X, Y, Z) = ̅̅̅̅̅̅̅̅̅̅̅

∨ Y ∨ Z. Ukoliko dozvolimo da
se umjesto ↓(X, Y, Z) piše ↓ Y ↓ Z, pri čemu to onda nije sinonim niti za ( ↓ Y) ↓ Z, niti za
X ↓ (Y ↓ Z), tada prethodni izraz možemo napisati i u obliku

((A ↓ A) ↓ (B ↓ B) ↓ (A ↓ B) ↓ (B ↓ C)

Ukoliko je potrebno sve izraziti preko klasične (binarne) Pierceove operacije, možemo koristiti
relaciju ↓(X, Y, Z) = ((X ↓ Y) ↓ (X ↓ Y)) ↓ Z. Ovdje ćemo najkraći izraz dobiti ukoliko stavimo
X = A ↓ B, Y = B ↓ C i Z = (A ↓ A) ↓ (B ↓ B), čime dobijamo:

(̅ ∨ B
̅)( ∨ B)(B ∨ ) = (((A ↓ B) ↓ (B ↓ C)) ↓ ((A ↓ B) ↓ (B ↓ C))) ↓ ((A ↓ A) ↓ (B ↓ B))

9. Četiri vozača V − V trebaju u toku dana posjetiti automehaničarsku radionicu (ne nužno svi u
isto vrijeme), pri čemu vozači V i V traže popravku elektrike, a V i V popravku mehanike. U
radionici rade dva majstora, automehaničar i autoelektričar, pri čemu automehaničar zna
obavljati i poslove oko elektrike, dok autoelektričar zna raditi samo elektriku. Primjenom
Veitchovih dijagrama izvedite što je god moguće jednostavniju formulu, koja je tačna ako i samo
ako svi vozači koji se trenutno nalaze u radionici mogu biti usluženi bez čekanja. Formula treba
da zavisi od četiri promjenljive V − V koje govore da li se u tom trenutku odgovarajući vozač
nalazi u radionici ili ne (“⊤” ukoliko se nalazi, a “⊥” u suprotnom).

Rješenje:

Postavljenom problemu odgovara sljedeća tablica istine (oprez: kada nema ni jednog vozača u
radionici, “svi” mogu biti usluženi bez čekanja, što je čest previd):
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

V V V V I
⊥ ⊥ ⊥ ⊥ ⊤
⊥ ⊥ ⊥ ⊤ ⊤
⊥ ⊥ ⊤ ⊥ ⊤
⊥ ⊥ ⊤ ⊤ ⊥
⊥ ⊤ ⊥ ⊥ ⊤
⊥ ⊤ ⊥ ⊤ ⊤
⊥ ⊤ ⊤ ⊥ ⊤
⊥ ⊤ ⊤ ⊤ ⊥
⊤ ⊥ ⊥ ⊥ ⊤
⊤ ⊥ ⊥ ⊤ ⊤
⊤ ⊥ ⊤ ⊥ ⊤
⊤ ⊥ ⊤ ⊤ ⊥
⊤ ⊤ ⊥ ⊥ ⊤
⊤ ⊤ ⊥ ⊤ ⊥
⊤ ⊤ ⊤ ⊥ ⊥
⊤ ⊤ ⊤ ⊤ ⊥

Na osnovu ove tabele može se nacrtati Veitchov dijagram (radi preglednosti, polja u kojima je
vrijednost “⊥” ostavljena su prazna). MDNF i MKNF možemo očitati iz istog dijagrama, samo za
MDNF konturama prekrivamo polja obilježena sa “⊤”, a u drugom slučaju prazna polja, kojima
odgovara vrijednost “⊥”. Različite konture su, radi jasnoće, označene različitim bojama, i
prikazane su kao da su crtane “rukom”, kao što tipično izgledaju pri ručnom korištenju ovih
dijagrama. Na taj način dobijamo sljedeći dijagram sa upisanim konturama:

⊤ ⊤ ⊤
A
⊤
D
⊤ ⊤

⊤ ⊤ ⊤ ⊤

C
Iz dobijenog dijagrama mogu se izvršiti sljedeća očitanja (minterme odnosno maksterme koje
odgovaraju pojedinim konturama označene su istom bojom kao i kontura na osnovu koje su
formirane, radi lakšeg snalaženja):

MDNF: ̅ D ̅ ∨B ̅D̅ ∨B ̅ ̅ ∨ ̅ ̅ ∨ ̅D
̅
MKNF: ( ̅ ∨ D
̅ )( ̅ ∨ B
̅ ∨ ̅ )(̅ ∨ B̅∨D ̅)

MKNF sadrži 8 literala, čime je kraća i povoljnija od MDNF koja sadrži 10 literala. Pored toga,
MKNF se može lako dodatno optimizirati i svesti na obik ( ̅ ∨ D ̅ )(̅ ∨ B
̅ ∨ ̅D̅ ). Ovo je najprostija
formula koja zadovoljava uvjete zadatka, ali ona nije u obliku niti DNF niti KNF.
̅ ̅ D ∨ AB
10. Uz pomoć Veitchovih dijagrama, nađite negaciju logičkog izraza B ∨ ACD ∨ B ̅D ∨ ̅B ̅ D
u što je god jednostavnijem obliku.
Rješenje:
Izraz treba upisati u Veitchovi dijagram, a zatim zamijeniti ulogu “⊤” i “⊥”, pa optimalno prekriti
vrijednosti “⊤”, čime dobijamo MDNF negacije izraza. lternativno, možemo odmah prekrivati
polja koja sadrže vrijednost “⊥” (odnosno prazna polja), ali vršiti očitanje kao da smo prekirvali
polja sa vrijednosti “⊤”, te ćemo tako i uraditi. Za nalaženje MKNF postupamo obrnuto, odnosno
ukoliko nismo zamijenili ulogu “⊤” i “⊥”, prekrivamo polja koja sadrže vrijednost “⊤”:
Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahasanović: Matematika u računarstvu I Rješenja zadataka s Tutorijala 2
Zadaci predviđeni za rad sa tutorom (akademska godina 2022/23)

⊤
A
⊤ ⊤ ⊤
D
⊤ ⊤ ⊤

C
U svakom slučaju, dobijamo:

MDNF negacije: ̅D
B ̅ ∨ ̅D̅ ∨ AB ̅ ∨ ̅ B
̅C
MKNF negacije: ̅ ∨ ̅ )(̅ ∨ B ∨ D
(B ̅ )(A ∨ C ∨ D
̅)

MKNF je neznatno povoljnija (8 umjesto 10 literala). Ni MDNF ni MKNF ne mogu se dalje bitnije
̅ iz prva dva člana).
skratiti ni na kakav očigledan način (eventualno se u MDNF može izvući D