Odsjek za ra£unarstvo i informatiku Nastavnik: doc. dr. Dinko Osmankovi¢, MoE-dipl.

Kurs: Matemati£ka logika i teorija ing. el.

izra£unljivosti Asistent: Zlatan Tucakovi¢, MoE-dipl.ing.el.
Godina studija: I godina BoE studija
Semestar: II

Tutorijal 8

1. Predstavite digitalno ra£unanje izraza z = x2 + 2y za x ∈ {0, 1, 2, 3} i y ∈ {0, 1, 2}

pomo¢u prekida£kih funkcija a zatim nacrtajte shemu logickih krugova koji realiziraju
dato ra£unanje.

2. Pod kojim uvjetima izraz f (x, y, z) = (x ∨ y ∨ z)(x ∨ y ∨ z) ne ovisi o varijabli x?

3. Neka je zadana kontekstualna univerza na slici:

p, q p, q
w0 w2

w1 w3

p, q p, q

Da li je validna formula

(p ∨ q) ⇒ (p ∧ q)

u zadanoj kontekstualnoj univerzi?

4. Aksiomatskim sistemom i prirodnom dedukcijom za modalnu logiku dokaºite da vrijedi

(x ∧ y) ⇒ (x ∧ y).

5. Formirajte formulu ternarne logike sa jednom promjenljivom X koja je ta£na samo

ukoliko X ima vrijednost U, a ina£e je neta£na.

6. Pokaºite pomo¢u tablica istine da Kleeneova i Šukasiewiczeva implikacija ne po²tuju

pravilo modus ponens, a da ga Gödelova i Resherova implikacija po²tuju.

1
7. U Bochvarovoj ternarnoj logici, vrijednost U tuma£i se kao "besmisleno". Zbog toga
je u toj logici rezultat konjunkcije i disjunkcije jednak U kad god je makar jedan od
operanada jednak U (uz motivaciju da je cijeli iskaz besmislen ukoliko mu je makar
jedan dio besmislen). Pokaºite bez tablica istine da se Bochvarova konjunkcija (ozna-
∧B da bi se razlikovala od klasi£ne konjunkcije) moºe
£i¢emo je sa izraziti formulom
X ∧B Y = (X ∧ Y ) ∨ (X ∧ ¬X) ∨ (Y ∧ ¬Y ) gdje su sa desne strane klasi£na ternarna
konjunkcija, disjunkcija i negacija (po Kleenu ili Šukasiewiczu).