Dr. Ž. Jurić, Dr. R. Turčinhodžić-Mulahhasanović: Matematika u računarstvu I Tutorijal 2.

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

Tutorijal 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.

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”?

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

̅
B ̅̅̅̅
̅ ̅̅̅̅̅ ) ̅̅̅̅̅̅̅̅̅
̅ 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.
5. Za logički izraz ̅ B
̅̅D
̅ ̅B ̅ D
̅ ̅B ̅ D ̅BCD ̅̅D
AB ̅ AB ̅ D
̅ AB ̅ D B D nađite MDNF
primjenom Quine-McCluskyjevog algoritma.
6. Pomoću Quine-Mc luskyjevog algoritma, nađite MDNF logičkog izraza ̅B B̅ ̅B
̅C.

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

B ̅B
̅.

8. ̅C ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
Predstavite logički izraz B ̅̅̅̅
̅B ( ̅) na što je god moguće jednostavniji način koristeći
B
samo Shefferovu operaciju, odnosno samo Pierceovu operaciju.
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).

10. Uz pomoć Veitchovih dijagrama, nađite negaciju logičkog izraza B ̅ ̅D

ACD B ̅D
AB ̅B ̅ D
u što je god jednostavnijem obliku.