![]() | |
![]() |
![]() ![]() |
Politica de confidentialitate |
|
![]() | |
• domnisoara hus • legume • istoria unui galban • metanol • recapitulare • profitul • caract • comentariu liric • radiolocatia • praslea cel voinic si merele da aur | |
![]() |
![]() |
||||||
Definirea axiomatica a algebrei booleene | ||||||
![]() |
||||||
|
||||||
g1u14um Algebra booleana este o algebra formata din: - elementele A0,1S; - 2 operatii binare numite SAU si SI, notate simbolic + sau Ú si × sau Ù; - 1 operatie unara numita NU negatie, notata simbolic sau Ø. Operatiile se definesc astfel: SI SAU NU 0 × 0 = 0 0 + 0 = 0 0 = 1 0 × 1 = 0 0 + 1 = 1 1 = 0 1 × 0 = 0 1 + 0 = 1 1 × 1 = 1 1 + 1 = 1 Axiomele algebrei booleene sunt urmatoarele: Fie o multime M compusa din elementele x1, x2,…xn, impreuna cu operatiile × si +. Aceasta multime formeaza o algebra daca: 1) Multimea M contine cel putin 2 elemente distincte x1 ¹ x2 (x1,x2I M); 2) Pentru " x1 I M, x2 I M avem: x1 + x2 I M si x1 × x2 I M 3) Operatiile × si + au urmatoarele proprietati: a. sunt comutative x1 × x2 = x2 × x1 x1 + x2 = x2 + x1 b. sunt asociative x1 × (x2 × x3) = (x1 × x2) × x3 x1 + (x2 + x3) = (x1 + x2) + x3 c. sunt distributive una fata de cealalta x1 × (x2 + x3) = x1 × x2 + x1 × x3 x1 + (x2 × x3) = (x1 + x2) × (x1 + x3) 4) Ambele operatii admit cate un element neutru cu proprietatea: x1 + 0 = 0 + x1 = x1 x1 × 1 = 1 × x1 = x1 unde 0 este elementul nul al multimii, iar 1 este elementul unitate al multimii. 5) Daca multimea M nu contine decat doua elemente, acestea trebuie sa fie obligatoriu elementul nul 0 si elementul unitate 1; atunci pentru " x I M exista un element unic notat cu x cu proprietatile: x × x = 0 principiul contradictiei x + x = 1 principiul tertului exclus x este inversul elementului x. In definirea axiomatica a algebrei s-au folosit diferite notatii. In tabelul urmator se dau denumirile si notatiile specifice folosite pentru diverse domenii: Matematica Logica Tehnica Plecand de la axiome se deduc o serie de proprietati care vor forma reguli de calcul in cadrul algebrei booleene. Aceste proprietati sunt: 1) Principiul dublei negatii x = x dubla negatie duce la o afirmatie 2) Idempotenta x × x = x x + x = x 3) Absorbtia x1 × (x1 + x2) = x1 x1 + (x1× x2) = x1 4) Proprietatile elementelor neutre x × 0 = 0 x × 1 = x x + 0 = x x + 1 = 1 5) Formulele lui De Morgan x1 × x2 = x1 + x2 x1 + x2 = x1 × x2 Aceste formule sunt foarte utile datorita posibilitatii de a transforma produsul logic in suma logica si invers. Formulele pot fi generalizate la un numar arbitrar de termeni: x1 × x2 × … × xn = x1 + x2 + … + xn x1 + x2 + … + xn = x1 × x2 × … × xn 6) Principiul dualitatii -; daca in axiomele si proprietatile algebrei booleene se interschimba 0 cu 1 si + cu ×, sistemul de axiome ramane acelasi, in afara unor permutari. Verificarea proprietatilor se poate face cu ajutorul tabelelor de adevar si cu observatia ca doua functii sunt egale daca iau aceleasi valori in toate punctele domeniului de definitie. Prin tabelul de adevar se stabileste o corespondenta intre valorile de adevar ale variabilelor si valoarea de adevar a functiei. Obs. Comutativitatea si asociativitatea pot fi extinse la un numar arbitrar, dar finit, de termeni, indiferent de ordinea lor. 1.4. Functii booleene 1.4.1. Functii booleene elementare fi x 0 1 Reprezentare Denumire f0 0 0 0 Constanta 0 f1 0 1 x Variabila x f2 1 0 x Negatia lui x f3 1 1 1 Constanta 1 La fel se pot realiza toate functiile cu ajutorul unor functii de baza. Acestora le vor corespunde si niste circuite logice elementare, cu ajutorul carora se poate realiza practic orice tip de circuit. Tinand cont de faptul ca circuitele logice de comutatie au 2 stari stabile LOW (L) si HIGH (H), asignand lui L 0 si lui H 1 se poate intocmi un tabel al functiilor elementare. Denumire Functie Simbol Tabel de adevar Tabel de definitieInversor -; NOT f = x x f = x x f 0 1 1 0 x f L H H L Poarta SI -; AND f = x1 × x2 x1x2 f=x1×x2 x1 x2 f0 0 00 1 01 0 01 1 1 x1 x2 fL L LL H LH L L H H H Poarta SAU -; OR f = x1 + x2 x1x2 f=x1+x2 x1 x2 f0 0 00 1 11 0 1 1 1 1 x1 x2 fL L LL H HH L H H H H Poarta SI-NU -; NAND f = x1 × x2 x1x2 f=x1×x2 x1 x2 f0 0 10 1 11 0 1 1 1 0 x1 x2 fL L HL H HH L H H H L Poarta SAU-NU -; NOR f = x1 + x2 x1x2 f=x1+x2 x1 x2 f0 0 10 1 01 0 0 1 1 0 x1 x2 fL L HL H LH L L H H L SAU EXCLUSIV -; XOR f = x1 + x2 x1x2 f=x1 + x2 x1 x2 f0 0 00 1 11 0 1 1 1 0 x1 x2 fL L LL H HH L H H H L COINCIDENTA f = x1 × x2 x1x2 f=x1 × x2 =x1 + x2 x1 x2 f0 0 10 1 01 0 0 1 1 1 x1 x2 fL L HL H LH L L H H H 1.4.2. Reprezentarea functiilor booleene x2 x1 0 1 x2 x1 0 1 0000 0000 0001 0001 0010 0011 0011 0010 0100 0110 0101 0111 0110 0101 0111 0100 1000 1100 1001 1101 1010 1111 1011 1110 1100 1010 1101 1011 1110 1001 1111 1000 2) Diagrama Karnaugh pentru functia de 3 variabile: y = f(x1,x2,x3) Domeniul de definitie este format din 23 = 8 puncte si reprezinta varfurile unui cub cu latura 1: x1 001 101 000 100 x3 x1 x2x3 00 01 11 10 x3 x1x2 x3 0 1 x1 x2 f |
||||||
![]() |
||||||
![]() |
||||||
|
||||||
|
||||||
Copyright© 2005 - 2025 | Trimite document | Harta site | Adauga in favorite |
![]() |
|