Numere binare i numere booleene

Trebuie neles nc de la nceput faptul c numerele booleene nu sunt tot una cu numerele binare. Numerele booleene reprezint un sistem matematic total diferit de cel al numerelor reale, pe cnd notaia binar este doar att: o notaie alternativ a numerelor reale. Cele dou sunt adesea confundate datorit faptului c utilizeaz aceleai cifre: 0 i 1. Diferena const n faptul c valorile booleene sunt limitate la un singur bit (fie 0, fie 1), pe cnd numerele binare pot fi compuse din mai muli bii.

Adunarea boolean
S ncepem aadar capitolul de algebr boolean prin adunarea numerelor: 0+0=0 0+1=1 1+0=1 1+1=1 Primele trei sume nu sunt deloc ieite din comun din punct de vedere al operaiei de adunare elementar. Ultima sum n schimb, s-a dovedit a fi responsabil de mai mult confuzie dect oricare alt element al electronicii digitale. Forma sa nu se supune principiilor de baz ale matematicii. ntr-adevr, aceasta contrazice principiile adunrii numerelor reale, dar nu i a numerelor booleene. n cadrul matematicii booleene exist doar dou valori posibile pentru oricare valoare i pentru orice operaie matematic: 0 sau 1. Nu exist valoarea 2. Din moment ce suma 1 + 1 nu poate fi 0, prin eliminare, aceast sum trebuie s fie 1. De asemenea, nu conteaz nici ci termeni conine suma. S considerm urmtoarele sume, de exemplu: 0+1+1=1 1+1+1=1 0+1+1+1=1 1+0+1+1+1=1 Revenind la primul set de ecuaii, putem observa c aceste sume nu sunt altceva dect tabelul de adevr al unei pori logice SAU. Cu alte cuvinte, adunarea boolean corespunde funciei logice a porii SAU, precum i comutatoarelor conectate n paralel:

Scderea i mprirea boolean

n cadrul matematicii booleene nu exist noiunea de scdere. Scderea implic existena numerelor negative: 5 - 3 este identic cu 5 + (-3), de exemplu. Dar n algebra boolean, nu exist valori negative (doar 0 i 1). De asemenea, nu exist nici operaia de mprire boolean. mprirea nu este altceva dect o scdere compus, la fel cum nmulirea nu este altceva dect adunare compus.

nmulirea boolean
nmulirea boolean este permis, iar regulile sunt aceleai cu nmulirea numerelor reale: orice numr nmulit cu 0 este 0, i orice numr nmulit cu 1 rmne neschimbat: 0x0=0 0x1=0 1x0=0 1x1=1 Setul de ecuaii ar trebui s v fie cunoscut: sunt aceleai reguli ce se regsesc n tabelul de adevr al porii I. Cu alte cuvinte, nmulirea boolean corespunde funciei logice a porii I, precum i comutatoarelor conectate n serie:

Variabile booleene i complementul lor

La fel ca i algebra normal, algebra boolean utilizeaz litere pentru desemnarea variabilelor. Dar, faa de algebra normal, aceste variabile se trec tot timpul cu majuscule. Datorit faptului c exist doar dou stri posibile, fie 1, fie 0, fiecare variabil posed i un complement: valoarea opus a acesteia. De exemplu, dac variabila A este 0, atunci complementul ei este 1. Complementul se specific prin intermediul unei linii orizontale deasupra variabilei, astfel:

Sub form scris, complementul lui A este desemnat prin A-negat. Cteodat se utilizeaz simbolul ' pentru reprezentarea complementului (A'). De obicei ns, simbolul cu linie este mai folosit dect simbolul '. Motivele le vom afla puin mai ncolo. Complementarea boolean este echivalent cu o poart logic NU, sau cu un contact normal-nchis:

Ce este o identitate
n matematic, o identitate este o afirmaie valabil pentru toate valorile posibile ale variabilei sau variabilelor implicate. Identitatea algebric x + 0 = x, ne spune c suma dintre oricare variabil (x) i zero este egal cu variabila iniial (x), indiferent de valoarea acesteia. Asemenea algebrei obinuite, exist identiti specifice algebrei booleene. Aceste identiti sunt bazate pe cele dou stri posibile ale variabilelor booleene (0 sau 1).

Identiti aditive
Prima identitate boolean este suma unei variabile cu zero. Rezultatul este valoarea variabilei iniiale. Aceast identitate nu este cu nimic diferit fa de echivalentul algebric al numerelor reale:

Indiferent de valoarea lui A, ieirea va fi tot timpul aceiai. Cnd A = 1, ieirea va fi 1; cnd A = 0, ieirea va fi 0. Urmtoarea identitate este cu siguran diferit fa de cele vzute n algebra obinuit. Aici putem vedea c suma unei variabile cu 1 este 1:

Indiferent de valoarea lui A, suma lui A cu 1 va fi tot timpul 1. Practic, ieirea circuitului nu ine cont de valoarea lui A, ci este fixat pe 1. Urmtoare identitate este suma unei variabile cu ea nsi. Practic, acest lucru nseamn conectarea intrrilor unei pori logice SAU i activarea lor cu acelai semnal:

n algebra numerelor reale, suma a dou variabile identice este dublul variabilei iniiale (x + x = 2x). Dar n cadrul algebrei booleene nu exista 2, ci numai 0 i 1. Prin urmare, nu putem spune c A + A = 2A. Adunarea unei variabile cu ea nsi este egal cu variabila original: 0 + 0 = 0 i 1 + 1 = 1. Dac introducem conceptul de complement ntr-o identitate aditiv, putem vedea un efect interesant. Din moment ce ntre orice variabil i complementul acesteia trebuie s avem un 1, i din moment ce suma oricrei variabile booleene cu 1 este 1, suma dintre o variabil i complementul ei trebuie s fie 1:

Identiti multiplicative
La fel cum exist patru identiti booleene aditive (A + 0, A + 1, A + A i A + A'), exist i patru identiti multiplicative: A x 0, A x 1, A x A i A x A'. Dintre acestea, primele dou nu sunt deloc diferite de identitile echivalente ale algebrei numerelor reale:

Cea de a treia identitate multiplicativ exprim rezultatul unei variabile booleene nmulit cu ea nsi. n algebra numerelor reale, acest tip de produs reprezint ptratul variabilei n cauz (3 x 3 = 32 = 9). Conceptul de ptrat implic existena valorii 2, valoare ce nu poate fi exprimat prin algebra boolean. Nu putem spune c A x A = A2. n schimb, produsul unei valori booleene cu ea nsi este valoarea iniial, din moment ce 0 x 0 = 0 i 1 x 1 = 1:

A patra identitate multiplicativ nu are echivalent n algebra numerelor reale, deoarece utilizeaz complementul variabilei. Acest concept este unic matematicii booleene. Din moment ce trebuie s avem o valoare de 0 ntre oricare variabil i complementul acesteia, i din moment ce produsul oricrei valorii booleene cu 0 este 0, produsul dintre o variabil i complementul acesteia trebuie s fie 0:

n concluzie, avem patru identiti booleene de baz pentru adunare i patru pentru produs (multiplicative):

Identitatea complementului dublu

O alt identitate caracteristic complementului unei variabile este cea a complementului dublu: o variabil inversat de dou ori. Rezultatul complementrii duble a unei variabile este valoarea boolean iniial a variabilei. Acest lucru este similar nmulirii cu -1 n algebra numerelor reale: un numr par de astfel de nmuliri se anuleaz, iar rezultatul final este valoarea iniial:

Comutativitatea
Una dintre aceste proprieti poart numele de comutativitate, i se aplic att adunrii ct i nmulirii. Ceea ce ne spune comutativitatea este c, putem inversa ordinea variabilelor att n cazul adunrii, ct i n cazul nmulirii. Rezultatul expresiei rmne neschimbat n ambele situaii. Comutativitatea adunrii arat astfel:

Comutativitatea nmulirii:

Asociativitatea
Aceast proprietate spune c putem asocia grupuri de sume sau nmuliri, prin intermediul parantezelor, fr a modifica rezultatul ecuaiilor. i n acest caz, asociativitatea se aplic att adunrii ct i nmulirii. Asociativitatea adunrii:

Asociativitatea nmulirii:

Distributivitatea
Proprietatea de distributivitate precizeaz modul de dezvoltare a unei expresii booleene formate din nmulirea unei sume:

n concluzie, avem trei proprieti booleene de baz: comutativitatea, asociativitatea i distributivitatea:

10

Scopul simplificrii booleene

Una dintre cele mai practice aplicaii ale algebrei booleene const n simplificarea circuitelor logice. Dac transcriem funcia logic a unui circuit sub form boolean, i aplicm anumite reguli ecuaiei rezultate, putem reduce numrul termenilor sau operaiilor aritmetice necesare realizrii funciei iniiale. Ecuaia simplificat poat fi apoi transformat napoi sub form de circuit logic. Sub noua form, circuitul logic realizeaz aceiai funcie, dar cu mai puine componente. Dac un circuit echivalent poate fi realizat cu mai puine componente, costurile de realizare i de funcionare vor scdea. Identitile i proprietile exprimate n seciunile precedente sunt foarte utile simplificrii booleene. Toate regulile prezentate n aceast seciune sunt specifice matematicii booleene.

Prima regul a simplificrii booleene

Aceast regul poate fi demonstrat simbolic prin scoaterea termenului comun (A) n afara sumei. Aplicnd apoi regulile A + 1 = 1 i 1A = A, ajungem la rezultatul final: A + AB = A(1 + B) = A(1) = A Observai cum a fost aplicat regula A + 1 = 1 pentru reducerea termenului (B + 1) la 1. Cnd aplicm o regul precum A + 1 = 1, exprimat prin intermediul literei A, nu nseamn c regula se aplic doar expresiilor ce conin A. A-ul din aceast expresie exprim faptul c aceasta se aplic oricrei variabile sau grupuri de variabile booleene. De exemplu, expresia boolean ABC + 1 se reduce tot la 1 prin intermediul aplicrii identitii A + 1 = 1. n acest caz, termenul standard A din definiia identitii reprezint ntregul termen ABC al expresiei de mai sus.

11

A doua regul a simplificrii booleene

Urmtoarea regul este aproximativ similar cu prima. Practic ns, ea este destul de diferit, iar demonstraia este puin mai dificil:

Pentru nceput, dezvoltm termenul A, folosind regula precedent (A + AB = A). Scoatem termenul B n afara celei de-a doua sume, i aplicm apoi identitatea A + A' = 1. La sfrit, nu ne mai rmne dect s aplicm identitatea 1A = A pentru obinerea rezultatului final: A + A'B = A + AB + A'B = A + B(A + A') = A + B(1) = A + B

A treia regul a simplificrii booleene

O alt regul implic simplificarea expresiei unui produs de sume:

12

Pentru a demonstra aceast relaie, realizm pentru nceput nmulirea celor dou sume. Aplicm apoi identitatea AA = A, apoi regula A + AB = A primilor doi termeni. i, n sfrit, aplicm aceiai regul, A + AB = A primilor doi termeni ai expresiei rezultate. Rezultatul este conform expresiei de mai sus: (A + B)(A + C) = AA + AC + AB + BC = A + AC + AB + BC = A + AB + BC = A + BC Pe scurt, acestea sunt cele trei reguli ale simplificrii booleene:

Simplificarea circuitelor cu pori logice

S ncepem cu un circuit format din pori logice ce necesit o simplificare. Presupunem c intrrile A, B i C sunt asigurate de comutatoare, senzori sau alte pori logice. Originea acestor semnale nu este important din punct de vedere al simplificrii.

Scrierea expresiei booleene

Primul pas al simplificrii const n scrierea expresiei booleene pentru acest circuit. Acest pas este cel mai uor de realizat dac scriem sub-expresii pentru ieirea fiecrei pori, corespunztor semnalelor de intrare. Este bine s reamintim faptul c o poart SAU este echivalent cu o adunare boolean, iar o poart I cu o nmulire boolean. S scriem aadar sub-expresii la ieirea primelor trei pori:

13

Scriem apoi sub-expresiile urmtoarelor seturi de pori. n cazul de fa, avem doar o singur poart pe nivelul urmtor:

i, n sfrit, ieirea (Q) circuitului logic este egal cu urmtoarea expresie:

Simplificarea expresiei booleene

Acum c avem o expresie boolean, urmtorul pas este aplicarea regulilor algebrei booleene pentru reducerea expresiei de mai sus la forma ei cea mai simpl. Reamintim faptul c cea mai simpl form este acea form care necesit cele mai puine pori logice pentru implementarea ei. Prin urmare, expresia AB + BC(B + C) poate fi redus astfel: la primul pas realizm nmulirea termenilor; aplicm apoi identitatea AA = A termenilor doi i trei; aplicm identitatea A + A = A termenilor doi i trei rezultai; scoatem termenul comun B n faa: AB + BC(B + C) = AB + BBC + BCC = AB + BC + BC = AB + BC = B(A + C)

14

Expresia rezultat, B(A + C), este mult mai simpl dect cea original. Ea realizeaz ns aceiai funcie. Dac vrei s verificai acest lucru, putei construi un tabel de adevr pentru ambele expresii. Determinai apoi rezultatul Q (ieirea circuitului) pentru toate cele opt combinaii posibile dintre A, B i C pentru ambele circuite. Cele dou tabele trebuie s fie identice.

Evaluarea expresiei booleene rezultate

Urmtorul pas const n generarea unei scheme logice folosind aceast expresie boolean simplificat. Pentru realizarea acestui lucru, evalum expresia urmnd ordinea matematic a operaiilor (nmulirea nainte adunrii, operaiile din interiorul parantezelor naintea celorlalte). La fiecare pas vom aduga o nou poart. Porile SAU sunt echivalente cu adunarea boolean, iar porile I sunt echivalente operaiei de nmulirea boolean. n exemplul de faa, ncepem construirea circuitului cu sub-expresia A + C, expresie ce nu este altceva dect o poart SAU:

Urmtorul pas n evaluarea expresiei B(A + C) const n nmulirea (poart I) semnalului B cu ieirea porii precedente (A + C):

Evident, acest circuit este mult mai simplu dect cel original, avnd doar dou pori logice n loc de cinci. O astfel de reducere a numrului de componente conduce la viteze de funcionare crescute (timpul de propagare a semnalului de la intrare la ieire este mai scurt), consum de energie mai sczut, cost mai mic i o fiabilitate mai ridicat.

15

Simplificarea circuitelor cu relee electromecanice

Circuitele cu relee electromecanice pot profita foarte mult de pe urma simplificrii booleene. De obicei, acestea sunt mai lente, consum mult mai mult energie, cost mai mult, iar durata de via medie este mai scurt dect cea a porilor logice semiconductoare. S considerm aadar exemplul de mai jos:

Scrierea expresiei booleene

Primul pas al reducerii acestui circuit la forma cea mai simpl este, din nou, scrierea circuitului sub forma unei expresii booleene. Cea mai simpl metod de realizare a acestui lucru este asemntoare cu metoda reducerii unui circuit rezistiv serie-paralel la o singur rezisten. De exemplu, s considerm circuitul rezistiv de mai jos, cu rezistorii aranjai asemeni contactelor circuitului precedent.

16

Formula corespunztoare reducerii acestui circuit la o rezisten echivalenta, este urmtoarea: Rtotal = R1 // [(R3 // R4) -- R2] // (R5 -- R6) Contactele paralele sunt echivalente cu adunarea boolean, iar contactele serie cu nmulirea boolean. Expresia boolen a circuitului cu relee de mai sus se scrie urmnd aceleai reguli care se regsesc n cazul reducerii circuitelor serie-paralel la o rezistena total echivalent. Simplificarea ne este uurat dac scriem sub-expresii booleene la stnga fiecrei linii n parte:

Simplificarea expresiei booleene

Acum c avem o expresie boolean, tot ceea ce trebuie s facem este s aplicm regulile de simplificare pentru a aduce expresia la forma ei cea mai simpl (form ce necesit cele mai puine relee pentru implementarea fizic). Paii sunt urmtorii: extindem termenul B(A + C); aplicm regula A + AB = A primilor doi termeni; aplicm regula A + AB = A primului termen i termenului al treilea: A + B(A + C) + AC = A + AB + BC + AC = A + BC + AC = A + BC

Evaluarea expresiei booleene rezultate

Dup cum putem vedea, circuitul redus este mult mai simplu dect originalul, dar funcia logic pe care o ndeplinete este neschimbat:

17

Simbolul operaiei SAU-exclusiv

Un element ce nu l-am ntlnit pn n acest moment n operaiile booleene este funcia SAU-exclusiv. Dei funcia SAU este echivalent cu o adunare boolean, funcia I cu nmulirea iar funcia NU cu complementarea, nu exist un echivalent boolean pentru funcia SAU-exclusiv. Acest lucru nu ne mpiedic ns s avem un simbol pentru reprezentarea ei:

Echivalena operaiei SAU-exclusiv

Acest simbol este folosit foarte rar n expresiile booleene, deoarece identitile, proprietile i regulile de simplificare ce implic adunarea, nmulirea i complementarea nu se aplic i acestei expresii. Totui, exist o modalitate de reprezentare a funciei SAU-exclusiv cu ajutorul funciilor SAU i I:

18

Ca i echivalen boolean. aceast regul poate fi folositoare n cazul simplificrii anumitor expresii booleene. Orice expresie de forma AB' + A'B (dou pori I i o poart SAU), poate fi nlocuit de o singur poart SAU-exclusiv.

Definiia teoremelor lui DeMorgan

DeMorgan a dezvoltat o serie de reguli importante n algebra liniar cu privire la complementul de grup. Prin complementul de grup ne referim la complementul unui grup de termeni, i nu doar complementul unei singure variabile. inei minte de la capitolul legat de pori logice, c inversnd toate intrrile unei pori, inversm i funcia logic esenial a acesteia. O poart SAU cu toate intrrile inversate (o poart SAU-negativ) se comport precum o poart I-negat. O poart I cu toate intrrile inversate (o poart I-negativ) se comport precum o poart SAU-negat. Teoremele lui DeMorgan exprim aceiai echivalen n sens invers: inversnd ieirea unei pori, funcia rezultat este aceiai cu tipul opus de poart cu intrrile inversate:

19

O bar deasupra termenului AB se comport precum un simbol de grup. Acest lucru este total diferit fa de produsul AB inversat separat (A'B'). Cu alte cuvinte, (AB)' nu este egal cu A'B'. Acest lucru are un impact profund asupra modului de evaluare i de reducere a expresiilor booleene, dup cum vom vedea. Teorema lui DeMorgan poate fi gndit ca i ntreruperea complementului (bara orizontal). Atunci cnd simbolul complementului este rupt n doua, operaia de sub el se modific din adunare n nmulire i invers. Dup aplicarea teoremei, fiecare variabil are propriul ei complement. Ca i exemplu:

Ruperea celui mai lung complement

Cnd exist mai multe complemente deasupra aceleiai expresii, nu putem ntrerupe dect un complement pe rnd. Cel mai uor este s ncepem cu cea mai lung linie orizontal (cea de sus). Ca i exemplu, s considerm expresia (A + (BC)')' redus cu ajutorul teoremelor lui DeMorgan:

20

Urmnd consideraiile exprimate mai sus, aplicm urmtorii pai:

Ca i rezultat, circuitul original este redus la un circuit format dintr-o poart I cu trei intrri, unde intrarea A este inversat printr-o poart NU:

Ca i contra-exemplu, nu ntrerupei niciodat mai mult de un complement la un singur pas:

Pe ct de tentant pare, pe att de incorect este s scurtm paii simplificrii prin ntreruperea mai multor complemente deodat. Prin urmare, nu facei niciodat acest lucru! Putem simplifica expresia de mai sus i prin ntreruperea complementului scurt n prim instan, i apoi a complementului lung:

21

Desigur, rezultatul final este acelai i n acest caz. Paii necesari pentru simplificare sunt ns mai numeroi fa de exemplul precedent (ntreruperea complementului lung la primul pas). La pasul al treilea, n exemplul de mai sus, ntreruperea complementului lung se realizeaz n dou locuri simultan. Aceast operaie matematic este permis, i nu este identic cu ntreruperea a dou complemente deodat! Interdicia ntreruperii mai multor complemente deodat nu interzice ntreruperea complementului n mai multe locuri.

Meninerea gruprilor prin intermediul parantezelor

Poate v ntrebai de ce am folosit paranteze n jurul sub-expresiei B' + C', din moment ce oricum le-am ndeprtat la pasul urmtor. Am fcut acest lucru pentru a sublinia un aspect important dar neglijat al teoremei lui DeMorgan. Din moment ce o linie orizontal lung funcioneaz ca i simbol de grup, variabilele incluse sub aceasta trebuie s rmn grupate. n caz contrar, ordinea operaiilor se pierde. n exemplul anterior, nu conteaz dac am fi pus sau nu aceste paranteze, dar n alte cazuri s-ar putea s conteze. S lum un alt exemplu, meninnd parantezele:

22

n cazul n care nu meninem parantezele, riscm s obinem un rspuns greit:

Dup cum se poate observa, meninerea gruprii realizate implicit prin liniile de complementare este crucial pentru obinerea rspunsului corect.

Simplificarea unui circuit logic - exemplu

S aplicm acum principiile teoremelor lui DeMorgan pentru simplificarea unui circuit cu pori logice:

23

Expresia boolean echivalent

Ca de obicei, primul pas al simplificrii circuitului const n gsirea expresiei booleene echivalente. Putem face acest lucru prin notarea sub-expresiilor la ieirea fiecrei pori, pe msur ce intrrile ne sunt cunoscute:

Apoi, notm ieirea primei pori SAU-negat i ieirea porii I-negat. Atunci cnd aveam de-a face cu pori inversate pe ieire, este mai uor s scriem prima dat expresia fr inversarea final. Observai i de pe figur faptul c sgeata indic ieirea porii chiar naintea inversrii (cerculeul de la ieire). Expresia final, dup inversare, este complementul expresiei precedente. Astfel, ne putem asigura c nu uitm introducerea complementului n cadrul expresiei:

i, n sfrit, ultimul pas const n scrierea expresiei pentru poarta SAU-negat final:

24

Simplificare expresiei echivalente

Trecem apoi la reducerea acestei expresii folosind identitile, proprietile, regulile i teoremele (lui DeMorgan) algebrei booleene:

Circuitul echivalent
Circuitul echivalent al expresiei mult simplificate:

Procesul de proiectare al circuitelor digitale ncepe adesea cu un tabel de adevr. Acest tabel descrie modul de funcionare al circuitului, pe scurt, ce funcii trebuie acesta s ndeplineasc. Partea de proiectare const n mare parte n determinarea tipului de circuit ce va realiza funcia propus n acest tabel de adevr. Deii exist unii oameni care pot determina circuitul final prin simpla privire a tabelului de adevr, pentru noi ceilali exist o serie metode foarte utile. Se va dovedi c algebra boolean este de un real folos n aceast situaie.

25

Incinerarea deeurilor toxice - exemplu

Pentru ilustrarea acestor metode, cel mai indicat este s ncepem cu o problem de proiectare practic. S presupunem c trebuie s proiectm un circuit de detectare a flcrii unui incinerator de deeuri toxice. Astfel de tehnici de ardere sunt folosite de obicei pentru neutralizarea deeurilor medicale, ce pot fi infectate cu virui sau bacterii periculoase:

Atta timp ct flacra este meninut n incinerator, injectarea deeurilor toxice pentru neutralizare este sigur. Dac n schimb flacra se stinge, aceast alimentare a incineratorului se poate dovedi periculoas. Evacuarea va conine deeurile toxice neneutralizate, reprezentnd un pericol de sntate pentru persoanele aflate n apropiere. Avem nevoie prin urmare de un sistem de detectare a prezenei flcrii. Injectarea deeurilor va fi permis doar atunci cnd sistemul de detectare ne asigur de prezena flcrii.

Utilizarea senzorilor redundani

Exist mai multe metode de detectare a flcrii: optic (detectarea luminii), termic (detectarea temperaturii nalte) i conducie electric (detectarea particulelor ionizate). Fiecare din aceste metode prezint avantaje i dezavantaje. S presupunem c, datorit pericolului ridicat al trecerii deeurilor intacte prin evacuarea sistemului, s-a decis ca sistemul de detectare s fie redundant (senzori multiplii). Astfel c, defectare unuia dintre senzori s nu duc la o situaie nedorit. Fiecare senzor este echipat cu un contact normaldeschis (deschis - lips flacra, nchis - flacr detectat) necesar activrii intrrilor unui sistem logic:

26

Scopul nostru acum, este s proiectm circuitul logic astfel nct acesta s deschid valva de admisie doar dac exist flacr (detectat de senzori). Prima dat trebuie s vedem comportamentul acestui sistem de control. Dorim ca valva s se deschid n cazul n care doar unul din cei trei senzori detecteaz flacra? Probabil c nu. Altfel, nu ar mai avea niciun rost s folosim trei senzori n loc de unul singur. Ceea ce ne dorim de la sistemul logic, este ca acesta s deschid valva de admisie doar n cazul n care toi cei trei senzori detecteaz flacra. n acest caz, tabelul de adevr arat astfel:

Aceast funcionalitate poate fi asigurat folosind o poart I cu trei intrri: ieirea circuitului este 1 doar dac intrarea A I intrarea B I intrarea C este 1:

27

Dac folosim n schimb relee electromecanice, putem crea aceast funcie I prin conectarea celor trei contacte n serie. Sau pur i simplu conectm cei trei senzori n serie, astfel nct, singura modalitate prin care se poate deschide valva de admisie, este dac toi cei trei senzori indic prezena flcrii:

28

Dei aceast strategie maximizeaz sigurana sistemului, este totui foarte sensibil la defect. n cazul n care unul din cei trei senzori se defecteaz, indicnd lipsa flcrii din incinerator, ntregul sistem se va opri. Asta chiar dac ceilali doi senzori funcioneaz i indic prezena flcrii. Aceast oprire gratuit a incineratorului duce la pierderi de producie i de combustibil (meninerea unei flcri ce nu este folosit pentru incinerarea materialului toxic). Va trebui s reproiectm sistemul, astfel nct, un astfel de defect s nu duc la nchiderea ntregului sistem. Bazndu-ne pe doi senzori n detectarea prezenei flcrii, sistemul i pstreaz i n acest caz redundana. O astfel de strategie implic un circuit logic cu trei intrri, a crui ieire este 1 n cazul n care cel puin dou din cele trei intrri sunt 1. Tabelul de adevr arat astfel:

Suma-de-produse
n aceast situaie nu este foarte clar ce tip de circuit logic ar satisface tabelul de adevr. O metod simpl de realizarea a unui astfel de circuit const n utilizarea unei forme booleene standard, denumit sum-de-produse. Ca i exemplu, o astfel de expresie ar putea art astfel: ABC + BC + DF, suma produselor ABC, BC i DF. Astfel de expresii sunt relativ uor de realizat cu ajutorul tabelelor de adevr. Trebuie doar s gsim acele rnduri din tabel unde ieirea este 1, i s scriem apoi un produs boolean a crui rezultat s fie 1, cunoscnd condiiile de intrare. De exemplu, s lum al patrulea rnd din tabelul de adevr de mai sus. Ieirea acestuia este 1 (ceea ce cutm), iar intrrile sunt A = 0, B = 1 i C = 1. Produsul acestor trei variabile este unu dac expresia arat astfel: A'BC.

29

S completm i celelalte rnduri care au o ieire de 1, cu produsul termenilor:

nsumm toate aceste patru expresii, pentru a crea o singur expresie boolean ce descrie n ntregime tabelul de adevr:

30

Realizarea circuitului logic

Dup ce am obinut expresia boolean sub form de sum-de-produse, putem trece la realizarea circuitului logic bazat pe aceast expresie, fie cu pori logice:

31

Fie cu relee electromecanice:

32

Simplificarea expresiei booleene

Din pcate, ambele variante sunt destul de complexe. Din fericire ns, putem simplifica expresia iniial folosind regulile simplificrii booleene:

33

Ca i rezultat al simplificrii, putem acum construi un circuit logic mult simplificat, dar care ndeplinete exact aceiai funcie logic, fie cu pori logice:

Fie cu relee electromecanice:

34