Definitie: Spatiul de definitie este o multime de forma Sn={Xn-1,...,X0}={0;1}^n, adica cu 2^n elemente (unde se noteaza B=S0={0,1}). Multimea poate cuprinde numerele naturale din intervalul 0...(2^n)-1.
Chipul va avea asadar n pini de intrare (si unul de iesire).
Definitie: Un subspatiu de ordin k al spatiului logic este o submultime al Sn astfel incat punctele subspatiului au specificate un numar k de variabile, restul (n-k) de variabile putand avea valoare 0 sau 1.Definitie: distanta dintre 2 puncte din Sn (scrisa d(P,Q)) este numarul de pozitii binare prin care difera combinatiile
Exemplu: d( 9, 4 ) = d( 1001, 0100 ) = 3 (in acest caz n = 4).Definitie: doua puncte pentru care distanta intre combinatii este 1 se numesc puncte adicente.
Definitie: Codul Gray: doua combinatii succesive trebuie sa fie adiacente.
Exemplu: pentru n=3:
Definitie: daca unei variabile i se poate atribui 0 sau 1, adica Xj apartine {0,1}, atunci Xj este indiferent. El se noteaza cu semnul - (minus) (in engleza: don't care). Exemplu:
| X3 | X2 | X1 | X0 | apartine lui S4 |
si este format din elementele
|
1 | 0 | 0 | 0 | = 8 hexa | |
| 1 | – | 0 | – | 1 | 0 | 0 | 1 | = 9 hexa | |||
| 1 | 1 | 0 | 0 | = C hexa | |||||||
| 1 | 1 | 0 | 1 | = D hexa |
Pentru a defini valoarea functiei se foloseste diagrama Karnaugh.
Fiecare punct al diagramei este adiacent cu toti cei patru vecini (inclusiv punctele din margine).
Un termen al unei functii are ca reprezentare in diagrama Karnaugh un subspatiu ale carui puncte sunt asezate conform unor axe de simetrie.Exemplu:
Forma minimizata a functiei:
Complexitatea functiei: 31
Verificarea functiei (acopera corect diagrama Karnaugh): OK
