Zadaća 1

iz predmeta Matematička logika i teorija izračunljivosti

Prezime i ime: Spahić Sabahudin

Br. indexa: 17906

Demonstrator: Džigal Džemil

Zadatak Bodovi

Elektrotehnički fakultet Sarajevo

 Zadatak 1
Primjenom aksioma iskazne algebre minimizirajte izraze:

a. B(A Y C) ∨ A B Y C = B(A Y C) (A B Y C) = B(AC ∨ AC)(A ∨ (BC ∨ BC)) =

= (ABC ∨ ABC)(A ∨ BC ∨ BC) = AABC ∨ ABBC C ∨ ⊥ ∨ ⊥ ∨ ⊥ ∨ ⊥ = ABC

b. A ∨ (B Y C) ∨ (C ⇒ B) = A ∨ BC ∨ BC ∨ C ∨ B = A ∨ B(> ∨ C) ∨ BC ∨ C =
=A∨B∨C ∨B =A∨C ∨>=>

Zadatak 2
Da li je sljedeći izraz (p ∨ (¬q → r)) ∧ s ∨ (s ↔ r) ∧ q tautologija? Ako nije, pod kojim
uvjetima je tačan(zadovoljiv)?

(p ∨ (q ⇒ r))s ∨ (s ⇔ r))q = (p ∨ q ∨ r)s ∨ (sr ∨ s r)q = ps ∨ qs ∨ rs ∨ qrs ∨ qs r =

= ps ∨ qs(> ∨ r) ∨ rs ∨ qs r = ps ∨ qs ∨ rs ∨ qs r = ps ∨ qs(r ∨ r) ∨ sr ∨ qs r =
ps ∨ qsr ∨ qsr ∨ sr ∨ qs r = ps ∨ sr(q ∨ >) ∨ qr(s ∨ s) = ps ∨ sr ∨ qr
Dati izraz je tautologija samo ako vrijedi da su p i s istiniti ili s i r istiniti ili q istinito i r
nije istinito.

Zadatak 3
Primjenom aksioma i pravila izvođenja formalne teorije propozicijske logike, dokažite model:

q → (p → r), ¬r, q ` ¬p. (1)

Rješenje:

1. q → (p → r) premisa

2. r premisa

3. q premisa

4. p zaključak

5. p negacija zaključka

6. p → r modus ponens (1) i (3)

7. r modus ponens (5) i (6)

8. nil kontradikcija (2) i (7)

Na kraju dobijemo da naša pretpostavka negiranog zaključka je u kontradikciji, pa iz toga slijedi

da je zaključak početnog izraza tautologoja.
Zadatak 4
Primjenom Postovog teorema ispitajte da li je skup S = {↔, Y} logički operacije funkcionalno
kompletan. Izrazite operacije standardne baze {∧, ∨, ¬} pomoću operacije iz skupa S.
Ukoliko neki skup nije funkcionalno kompletan, proširite ga minimalnim brojem dodatnih
logičkih operacija tako da on postane funkcionalno kompletan. Nije dozvoljeno korištenje uni-
verzalnih logičkih operacija.

Zadatak 5
Primjenom binarno kodiranog Quine-McCluskyjevog algoritma naći MKNF formu izraza:

I = A(C Y D) ∨ (CD ⇒ A(BD ∨ B ∨ C)), (2)

ako se zna da se neće pojaviti slučaj u kojem su istovremeno tačni i C i D, a A netačan.

Dobijenu minimalnu formu pretvoriti u oblik u kojem se koristi pogodna univerzalna logička
operacija.

Prvo moramo dobiti SDNF negacije izraza:

I = A(C Y D) ∨ (CD ⇒ A(BD ∨ B ∨ C)) = A(CD ∨ CD) (CD ∨ A(BD ∨ B C)) =

= (ACD ACD) (CD(ABD ∨ AB C)) = (A∨C ∨D)(A∨C ∨D) CD((A∨B ∨D)(A∨B ∨C)) =
= (A ∨ AC ∨ A D ∨ A C ∨ C D ∨ AD ∨ CD)CD(A ∨ AB ∨ AC ∨ A B ∨ BC ∨ A D ∨ BD ∨ CD) =
= (A ∨ AC ∨ A D ∨ A C ∨ C D ∨ AD ∨ CD) (ACD ∨ ABCD ∨ A BCD ∨ BCD) =
= ACD ∨ ABCD ∨ A BCD ∨ A BCD ∨ ACD ∨ ABCD ∨ A BCD ∨ A BCD ∨ ACD ∨ ABCD∨
∨A BCD ∨ A BCD ∨ ACD ∨ ABCD ∨ A BCD ∨ BCD = ACD ∨ ABCD ∨ A BCD ∨ BCD =
= ACD(B ∨ B) ∨ ABCD ∨ A BCD ∨ BCD(A ∨ A) = ABCD ∨ A BCD ∨ ABCD

U postavci zadatka imamo garanciju da se neće pojaviti slučaj u kojem su istovremeno i C i D

tačni, a A netačno. Shodno tome može zapisati krajnji oblik negacije SDNF, početnog izraza,
kao ABCD. Iz ovog SDNF-a nema smisla tražiti proste implikante, pošto je jedinstven.
Te slijedi da se MKNF forma početnog izraza može zapisati kao:

ABCD = A ∨ B ∨ C ∨ D (3)