I parcijalni ispit iz diskretne matematike

1.

Da bi se odrao sastanak Vijea odsjeka za RI, potrebno je i dovoljno da svi lanovi Vijea budu
obavijeteni na vrijeme i da bude kvoruma. Smatra se da ima kvoruma ukoliko se pojavi barem
15 lanova Vijea. Takoer, lanovi Vijea e sigurno biti obavijeteni na vrijeme, osim ukoliko
doe do pada email servera. Pokaite formalnim putem da iz ovih injenica slijedi da ako se
sastanak Vijea odsjeka ne odri, tada se na sastanku pojavilo manje od 15 lanova, ili je dolo do
pada email servera. (1,5 poen)

2.

Primjenom Quineovog algoritma naite minimalnu konjunktivnu normalnu formu logikog izraza
(A B) D A (B D) A B (D C )
a zatim izrazite dobijeni logiki izraz koritenjem Pierceove operacije. (3,5 poena)

3.

Naite partitivni skup skupa A = {, {}, {, {}}}. (1 poen)

4.

U skupu X = {1, 3, 4, 6, 9} data je binarna relacija R = {(x, y) X2 | | x y | 3}. Ispiite eksplicitno

elemente relacije R , a zatim odredite relacije R 2, R 3 i R *. Da li je relacija R tranzitivna?
Obrazloite odgovor. (3,5 poena)

5.

Dat je ureeni skup (P (A), ) gdje je A = {a, b, c, d, e}.

a) Argumentirano objasnite zbog ega ovo nije potpuno ureeni skup. (0,5 poena)
b) Naite najmanji i najvei element ovog ureenog skupa. (0,5 poena)
c) U zadanom ureenom skupu, naite inf {{a, b}, {b, d}, {b, e}} i sup {{a, b}, {b, d}, {b, e}}
(1 poen)

6.

Pokaite da skup X = { f | f :

7.

Predstavite digitalno raunanje funkcije z = (x y)2 pomou prekidakih funkcija ukoliko imamo
x {0, 1, 2, 3} i y {0, 1}. Dobijene izraze treba pojednostaviti koritenjem zakona prekidake
logike. (2 poena)

8.

Dati su fuzzy skupovi A = {x | A(x)} i B = {x | B(x)}, pri emu su funkcije pripadnosti

A(x) i B(x) date na slici. Nacrtajte funkcije pripadnosti fuzzy skupova A B, A B i A \ B, pri
emu je A \ B definirano kao A \ B = A B. Takoer, odredite sa kojim stepenom pripadnosti
element x = 3.5 pripada fuzzy skupovima A, B, A B, A B i A \ B. (1,5 poen)

} nije prebrojiv. (1 poen)

A(x)

B(x)

1
x
1

9.

x
1

Pokaite kontraprimjerom da izraz predikatske logike x (P(x) Q(x)) x P(x) x Q(x) nije
valjan. (1 poen)

10. Neka je poznato da svi studenti koji su odabrali diskretnu matematiku kao izborni predmet vole
neke oblasti matematike. Neka je takoer poznato da barem jedan student koji je odabrao
diskretnu matematiku kao izborni predmet nije poloio ininjersku matematiku. Pokaite
formalnim putem da odavde slijedi da nije istina da svi studenti koji nisu poloili ininjersku
matematiku ne vole niti jednu oblast matematike. Uradite to tako to ete formirati odgovarajui
izraz predikatske logike koji opisuje ovo rezonovanje, a zatim pokazati njegovu valjanost.
(3 poena)