Expresii logice. Rvaluare.

Exemplu1

Exemplul II
Exemplul 3. Ex. 8 l pag. 93 manualul clasa 10
Ex 7(h- j) si Ex 9(a-l)
Ex 9 (m, n) – cu 4 variabile 24 = 16 cazuri

26

noiembrie
 Functii logice

La informatica vom studia functiile de mai multe variabile

Definitie: Se numeste functie logica f de variabilele x1, x2, x3, …, xn si se noteza
 Y=f(x1, x2, x3, …, xn )
Asa o lege de coreespondenta, care la fiecare combinatie de valori a variabilelor ii pune
corespondenta valoarea 0 sau 1.

Vom define functia logica in doua moduri:

1. Cu ajutorul tabelului de adevar
2. Analitic, printr-o expresie logica
Daca avem n- variabile, atunci vom avea 2n - combinatii de valori a variabilelor si vom putea
define: n
2
2 −functii
Exemplu 1

Daca avem definite functia printr-o expresie logica usor putem sa o definim prin tabelul
de adevar: efectuam toate operatiile din expresie si aflam valoarea functiei pentru fiecare
combinatie de valori a variabilelor.
Apare intrebarea? Da invers cum? Raspuns: ne vom folosi de formele canonoce ale functiilor
logice si anume:
 1. Forma canonoca conjunctiva normal perfecta
2. Forma canonica disjunctiva normal perfecta

Forma disjunctiva normal perfecta

Reprezinta o suma de mintermeni cu coeficientii α i, unde

α i= {10 ,, y=1
y=0
Minterminii reprezinta un produs al variabilelor x j sau x j si anume

Se ia xj , daca xj=1 si x j , daca xj =0

Formula y= ¿ i=0 ¿ 2n−1 α i Pi

 Forma conjunctiva normal perfecta
Reprezinta un produs de sume de maxtermeni tot cu coeficientii α i, unde

α i= {10 ,, y=1
y=0
Formula:
 Exemplu 2 de functii de 3 variabile, definite prin tabelul de adevar.

1. De folosit formule canonice si de definit functii prin expresii logice

2. De adus expresiile logice la o forma mai simpla
 Diagrame Karnaugh
Se folosesc pentru a adduce la o forma mai simpla forma canonica disjunctiva:
Reprezentarea grafica a diagramelor Karnaugh
 Ex.1

X1 X2 Y1 Y2 Y3 Y4 Y5 Y6 Y7
0 0 1 1 1 1 0 0 1
0 1 0 0 1 0 0 1 0
1 0 1 0 1 1 1 1 0
1 1 0 0 0 1 0 1 1
 Ex.2

X1 X2 X3 Y1 Y2 Y3 Y4 Y5 Y6 Y7 Y8
0 0 0 1 0 1 0 1 1 0 0
0 0 1 1 1 0 0 0 1 0 1
0 1 0 0 1 0 1 1 1 0 0
0 1 1 0 1 1 1 0 1 0 0
1 0 0 1 0 0 1 0 0 1 1
1 0 1 0 1 0 1 1 0 1 0
1 1 0 0 1 1 0 0 0 1 0
1 1 1 0 1 1 0 1 1 0 0
 Ex.3

X1 X2 X3 X4 Y1 Y2 Y3 Y4 Y5 Y6 Y7 Y8
0 0 0 0 1 1
0 0 0 1 0 0
0 0 1 0 1 0
0 0 1 1 0 0
0 1 0 0 0 1
0 1 0 1 1 1
0 1 1 0 0 1
0 1 1 1 1 0
1 0 0 0 1 0
1 0 0 1 1 0
1 0 1 0 0 1
1 0 1 1 0 1
1 1 0 0 0 0
1 1 0 1 1 1
1 1 1 0 1 1
1 1 1 1 0 0