Matematika Logika

SEPTEMBAR 2004

1. Nai zbir i razliku oktalnih brojeva:

4433,1 i 550,3
Rezultate prikazati u binarnom i dekadnom sistemu.
reenje: zbir=5203,4(8) =101010000011,1(2) =2691,5(10)
razlika=3662,6(8) =11110110010,11(2) =1970,75(10)
2. Uz pomo metode rezolucije ispitati da li je formula tautologija.

( p q ) ( p (q r ))
reenje :

(( p q ) ( p (q r )))
(( p q ) (p (q r )))
p q p q r
1. p
2.q
3.r
Ne _ moze _ se _ doci _ do _ praznog _ sastavka.

Formula nije tautologija.

3. Nai partikularna reenja sistema Bulovih jednaina i nejednaina:

)( (

))

x x 1 0 y z =1
x yz = z
x yz

Reenje: R=L\M={(1,1,1)}

4. Nai minimalnu formu Bulove funkcije pomou metode Vej-Karnea

f ( x, y, z , w) = xy z w x yzw x y

1
1
1

1
1

1
1
1
1

1
1

Reenje: min f ( x, y, z, w) = y xz z w
5. Na jeziku predikatskog rauna I reda formalizovati sledee reenice i pri tom
koristiti predikate S(x,y) sa znaenjem y je sledbenik x-a.
a)
b)
c)
d)

Broj 3 je sledbenik broja 2.

Postoji sledbenik broja 4.
Svaki sledbenik ima sledbenika.
Ne postoji broj koji je sam sebi sledbenik.

Reenje:
a)
b)
c)
d)

S(2,3)
(x) S(4,x)
(x)(z)(y)( S(z,x) S(x,y))
(x)S(x,x) ili (x)S(x,x)