Matematika logika i principi programiranja zadaci iz oktobarskog roka 2005

1. Nai zbir i razliku binarnih brojeva: 1000,01 i 110,1 Rezultate prikazati u dekadnom i heksadecimalnom sistemu. Uputstvo: U binarnom brojevnom sistemu je osnova sistema 2, a cifre su 0 i 1. Aritmetika u binarnom sistemu bi izgledala ovako: +(2) 0 1 0 0 1 1 1 10 *(2) 0 1 0 0 0 1 0 1

Pri prevoenju zapisa iz binarnog sistema u dekadni, potrebno je uoiti teine cifara. Ako neki binarni broj ima sledee cifre:

cn cn1...c2c1c0 , c1c2 ...cr

tada cifra ci ima teinu i, pa se ceo binarni broj u dekadnom sistemu zapisuje tako to se binarne cifre mnoe odgovarajuim teinama stepenima dvojke:

cn * 2 n + cn1 * 2 n1 + ... + c2 * 2 2 + c1 * 21 + c0 * 20 , c1 * 2 1 + c2 * 2 2 + ... + cr * 2 r

Pri prevoenju zapisa iz binarnog sistema u heksadecimalni mogu se uoiti tetrade (grupe od etiri binarne cifre), tako da se njihovim prevoenjem u dekadni sistem mogu odmah dobiti cifre heksadecimalnog broja. Za pomo moe posluiti sledea tabela:
(16)
(2)

0
0000

1
0001

2
0010

3
0011

4
0100

5
0101

6
0110

7
0111

8
1000

9
1001

A
1010

B
1011

C
1100

D
1101

E
1110

F
1111

Reenje:

Nalaenje zbira i razlike bi onda izgledalo ovako: 1000,01 + 110,1 1110,11 1000,01 - 110,1 1,11

Transformacija zbira iz binarnog sistema u dekadni: 1110,11(2)=(1*23+1*22+1*2+0*1+1*2-1+1*2-2)(10) =14,75(10)

Transformacija zbira iz binarnog sistema u heksadecimalni: 1110,11(2)= 1110,1100(2)=E,C(16)

2. Uz pomo metode rezolucije ispitati da li je formula tautologija.

(( p q ) (r q )) ( p r )
Uputstvo: Negaciju date formule je potrebno transformisati u konjuktivnu normalnu formu. Pri tome AB zapisujemo kao AB. Takoe se skrauju zapisi kao na primer: a) A0 se moe zameniti sa A b) A1 se moe zameniti sa A c) AA, takoe AA se moe zameniti sa A Da bi se dobila konjuktivna normalna forma, esto je potrebno koristiti distributivnost disjunkcije prema konjukciji: A(BC) (AB)(AC) Iz konjuktivne normalne forme se izdvajaju sastavci (disjunkcije iskaznih slova ili njihovih negacija), i pomou pravila rezolucije AB, AC BC se pokuava generisanje praznog sastavka. Ako se iz negacije date formule pomou pravila rezolucije moe izvesti prazan sastavak, zakljuujemo da je formula tautologija (inae nije). Reenje:

(( p q ) (r q )) ( p r )
reenje : [(( p q ) (r q )) ( p r )] [(( p q ) (r q )) ( p r )] [((p q ) (r q )) (p r )]

[(p q r q ) (p r )] (p q r q ) p r 1.(p q r ) 2. p 3.r 4.q r.....R(1,2)

Znai dobijena su tri sastavka, a uz pomo metode rezolucije generisan je samo jedan nov sastavak sastavak q r . Oznaka R(1,2) pokazuje da je pravilo rezolucije primenjeno na sastavke 1 i 2. Kako se dalje ne moe izvesti ni jedan sastavak, zakljuujemo da formula nije tautologija (jer se ne moe generisati prazan sastavak).

3. Nai partikularna reenja sistema Bulovih jednaina:

(1 xy ) = x z (x y xz ) z
xz = x y

Uputstvo: Partikularno reenje Bulove jednaine A(x1, x2,, xn)=B(x1, x2,, xn) (gde su A i B Bulovi izrazi od kojih bar jedan sadri promenljive x1, x2,, xn) je vektor =(1, 2,, n) Ln 2 ako i samo ako je A(1, 2,, n)=B(1, 2,, n). Pri reavanju sistema Bulovih jednaina i nejednaina koriste se sledee teoreme: T1. AB AB=0 T2. A=B ABAB =0 T3. (A1=0, A2=0, ..., An=0) A1 A2... An=0 Reenje:

(1 xy ) = x z (x y xz ) z
xz = x y
1= z

xz = x y
1z 0 z = 0

jer je 1A=1, takoe AA=0

xz x y xz x y = 0 z=0

primenom T2.

xzx y x z x y = 0

)(

sreivanjem izraza sa levih strana jednaina

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

sreivanjem izraza sa levih strana jednaina primenom T3.

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

xy z x y z x y z x y z x yz x yz x yz x y z x y z x yz x y z x y z x y z xy z x y z = 0
xy z x y z x y z x y z x yz x yz x yz = 0

KDNF (kanonska disjunktivna normalna forma)

Preslikavanjem x1, x0, formiran je pomoni skup: M={(1,1,0), (0,1,0), (1,0,0), (0,0,0), (1,0,1), (0,1,1), (0,0,1)}, a konano reenje R kao razlika do celog prostora: R=L\M={(1,1,1)}

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

f ( x, y, z , w) = x yz w x y w x zw x yzw x yz w x yz w x yz w xyz w xy w

Reenje sa uputstvom: Nalaenje minamalne normalne forme Bulove funkcije se odnosi na nalaenje njenog najkraeg zapisa (u smislu broja slova i znakova). Metod Vej-Karnea zahteva da se funkcija prvo napie u obliku kanonske disjunktivne normalne forme (KDNF):
f ( x, y, z , w) = x yz w x y ( z z ) w x( y y ) zw x yzw x yz w x yz w x yz w xyz w xy ( z z ) w f ( x, y, z , w) = x yz w x yz w x y z w xy zw x y zw x yzw x yz w x yz w x yz w xyz w xyz w xy z w f ( x, y, z , w) = x yz w x yz w x y z w xy zw x y zw x yzw x yz w xyz w xy z w

Zatim se svaka kanonska konjukcija preslikava u binarni, pa zatim u dekadni broj:

f ( x, y, z , w) = 0010 1010 1000 1101 1001 0111 0110 1110 1100 f ( x, y, z , w) = 2 10 8 13 9 7 6 14 12

koji se markira (oznai) u odreenoj eliji Vejovog dijagrama:

x
w w
0 1 5 2 3 7 6 10 11 15 14

x
8 9 13 12

z
x

z
x

na sledei nain:
w w

1 1

1 1 1

Zatim se formiraju blokovi kao grupa od 2n spojenih markiranih kvadratia (1, 2, 4, 8, 16). Prvo se formiraju glavni blokovi kao maksimalni blokovi za konkretni markirani kvadrati:
x

x
1 1 1 1 1 1 1 1

w w

blok xz

y
blok xw

blok xyz

Od dobijenih glavnih blokova se izdvajaju osnovni blokovi kao blokovi koji imaju bar jedan markirani kvadrati koji pripada samo njemu (ne deli ga sa nekim drugim glavnim blokom):
x
1 1 1 1 1 1 1 1

x w w

Osnovni blokovi ine jezgro reenja:

jezgro = x z z w x yz

a u ovom zadatku jezgro prekriva sve markirane kvadratie pa je ono jedinstveno reenje: reenje: min f ( x, y, z, w) = x z z w x yz

5. Na jeziku predikatskog rauna I reda formalizovati reenice, koristei predikat P(x,y) sa znaenjem x je podskup y-nu. a) b) c) d) Skup B je podskup skupa A. Postoji podskup skupa C. Skup D je podskup podskupa skupa G. Svaki skup ima podskup.

Uputstvo: Pri formalizaciji reenica potrebno je koristiti kvantifikatore: a) Univerzalni kvantifikator, sa oznakom (ita se svaki) i b) Egzistencijalni kvantifikator, sa oznakom (ita se postoji, ima, neki) Reenje: a) P(B,A) b) (x)P(x, C) c) (x)(P(D,x) P(x,G)) d) (x)(y)P(y,x)