2.2 BOOLEAN ECUATIONS 2.

2Ecuații Booleene
Boolean equations deal with variables that Ecuațiile Booleene au la bază variabile, care pot avea
are either TRUE or FALSE,so they are valoarile ADEVĂRAT sau FALS, deci ele sunt
perfect for describing digital logic. This perfecte pentru a descrie logica digitală.În această
section defines some terminology secțiune sunt definite unele terminologii frecvent
commonly used in Boolean equations, utilizate in ecuațiile Booleene,apoi se explică cum se
then shows how to write a Boolean scrie o ecuație Booleană pentru orice funcție logică
equation for any logic function given its conform tabelului său de adevăr.
truth table.
2.2.1 Terminology
The complement of a variable,A,is its Complementul unei variabile,A este inversa sa,Ā(A
inverse,Ā.The variable or its complement negat).Variabila sau complementul său se numesc
is called a literal.For example ,A,Ā,B, and lierali.De exemplu A,Ā,B și B́ sunt literali.Numim A-
B́ are literals.We call A the truth form of forma adevarată a variabilei si Ā–forma
the variable and Ā the complementary complementară a ei; ”forma adevarată” nu inseamna
form;’’true form” does not mean that A is că valoarea lui A este adevarată, dar că A pur și
TRUE, but merely that A does not have a simplu nu are o linie deasupra ei.
line over it. “ literal-simbol literal netraductibil(ce se definește și
se numeste prin el însuși)”
The AND of one or more literals is called Înmulțirea logică(operația ȘI)a unui sau a mai mulți
a product or an implicant.ĀB,A B́ Ć , and B literali se numește produs sau implicant. ĀB, A B́ Ć si
are all implicants for a function of three B sunt implicanții pentru o funcție de trei variabile.Un
variables.A minterm is a product involving minterm(forma elementară conjunctivă) este un
all of the inputs to the function.A B́ Ć is a produs care implică toate variabilele de intrare pentru
minterm for a function of the three o funcție.A B́ Ć este un minterm pentru o funcție de
variables A, B, and C, but ĀB is not, trei variabile A,B și C, dar ĀB nu este un minterm (o
because it does not involve C. Similarly, formă elementară conjunctivă),deoarece nu îl conține
the OR of one or more literals is called a pe C.În mod analog, adunarea logică a unui sau a mai
sum. A maxterm is a sum involving all of mulți literali se numește sumă sau disjuncție. Un
the inputs to the function.A+ B́+C is a maxterm(disjuncție completă) este o sumă care
maxterm for a function of the three implică toate intrările ale unei funcții.A+ B́+C este un
variables A, B, and C. maxterm al unei funcții de trei variabile A, B și C.
The order of operations is important when Ordinea operațiilor este foarte importantă in analiza
interpreting Boolean equations. Does ecuațiilor Booleene. Putem considera că Y = A +BC
Y = A +BC mean Y = ( A∨B )∧C or înseamnă Y =( A SAU B) ȘI C sau Y = A SAU (B ȘI C )?
Y = A∨( B∧C ) ? In Boolean Înecuațiile Booleene NEGAȚIA are prioritatea cea
equations,NOT has the highest mai mare, fiind urmată de ȘI(înmulțire), apoi de
precedence, followed by AND, then OR. SAU(adunare).La fel ca și in ecuațiile obișnuite,
Just as in ordinary equations, products are produsele sunt efectuate înaintea sumelor. Prin urmare
performed before sums. Therefore, the ecuația se citește in felul următor:
equation is read as Y = A∨(B∧C) Y = A SAU ( B ȘI C ).
Equation 2.1 gives another example of Ecuația 2.1 este un alt exemplu prin care este arătată
order of operations. ordinea efectuării operațiilor.
ĀB+BC D́ =((Ā)B)+(BC( D́ ¿ ¿ (2.1) ĀB+BC D́ =((Ā)B)+BC( D́ ¿ ¿ (2.1)
2.2.2Sum-of-Products Form 2.2.2Suma produselor logice/Forme disjunctive
A truth table of N inputs contains 2 N rows, Tabelul de adevăr a funției de N variabile conține 2 N
one for each possible value of the inputs. linii,câte o linie pentru fiecare valoare logică posibilă
Each row in a truth table is associated with a variabilelor.Fiecărei linii din tabelul de adevăr îi
a minterm that is TRUE for that row. corespunde un minterm,care ia valoarea de ADEVĂR
pentru această linie.
Figure 2.8 shows a truth table of two În imaginea 2.8 este arătat tabelul de adevăr petru
inputs, A and B. Each row shows its două variabile A și B.De exemplu mintermul pentru
corresponding minterm. For example, the prima linie este Ā B́ deoarece Ā B́ ia valoarea de adevăr
minterm for the first row is Ā B́ because Ā când A=0 , B=0.
B́ is TRUE when A=0,B=0.
We can write a Boolean equation for any Putem scrie o ecuație Booleană pentru orice tabel de
truth table by summing each of the adevăr sumând fiecare dintre mintermi pentru care
minterms for which the output, Y, is variabila de ieșire,Y,ia valoarea de ADEVĂR.De
TRUE. For example,in Figure 2.8, there is exemplu în Imaginea 2.8,este doar o singură linie(sau
only one row (or minterm) for which the minterm)pentru care variabila de ieșire Y ia valoarea
output Y is TRUE, shown circled in blue. de ADEVĂR,ea este încercuită cu albastru.
Thus, Y = ĀB. Figure 2.9 shows a truth Prin urmare,Y = ĀB.În imaginea 2.9 este arătat tabelul
table with more than one row in which the de adevăr, in care variabila de ieșire ia valoarea de
output is TRUE. Taking the sum of each ADEVĂR pentru mai multe linii.Sumând mintermii
of the circled minterms gives încercuiți ,obținem
Y = ĀB + AB Y = ĀB+ AB
This is called the sum-of-products Acestă sumă se numește forma normală disjunctivă
canonical form of a function because it is perfectă (suma produselor formelor canonice a unei
the sum (OR) of products (ANDs forming funcții),deoarece este suma (Operația SAU)
minterms). produselor logice (mintermii formați prin înmulțiri
Although there are many ways to write the logice).Cu toate că există mai multe modalități de a
same function, such as Y = ĀB + AB, we scrie una și aceeași formulă,de exemplu ca:
will sort the minterms in the same order Y = ĀB + AB,noi vom sorta(scrie) mintermii in aceeași
that they appear in the truth table, so that ordine in care ei apar in tabelul de adevăr,deci noi
we always write the same Boolean mereu scriem aceeași expresie Booleană pentru același
expression for the same truth table. table de adevăr.
Example2.2SUM-OF-PRODUCTS Exemplul 2.2 Forme disjunctive
FORM
Ben Bitdiddle is having a picnic. He won’t Ben Bitdiddle face un picnic.Lui nu-i va plăcea picnic-
enjoy it if it rains or if there are ants. ul dacă va ploua sau dacă vor apărea furnici.Desenați
Design a circuit that will output TRUE o schema în care variabila de ieșire va avea valoarea
only if Ben enjoys the picnic. de ADEVĂR ,numai dacă lui Ben îi va placea
picnicul.
Solution: First define the inputs and Rezolvare:Pentru început să definim variabilele de
outputs. The inputs are A and R, which intrare și de ieșire.Variabilele de intrare sunt A și
indicate if there are ants and if it rains. A is R,care semnifică respectiv furnicile și ploaia.Variabila
TRUE when there are ants and FALSE A ia valoarea de ADEVĂR pentru cazul când sunt
when there are no ants. Likewise, R is furnici și valoarea de FALS pentru cazul când nu sunt
TRUE when it rains and FALSE when the furnici.In același mod,variabila R ia valoarea de
sun smiles on Ben. The output is E, Ben’s ADEVĂR pentru cazul când plouă și FALS pentru
enjoyment of the picnic. E is TRUE if Ben cazul când soarele îi zâmbește lui Ben.Variabila de
enjoys the picnic and FALSE if he suffers. ieșire este E,care semnifică dispoziția lui Ben după
Figure 2.10 shows the truth table for Ben’s picnic.Variabila E ia valoarea de ADEVĂR în cazul
picnic experience. când Ben rămâne satisfăcut și valoarea de FALS dacă
el suferă.În maginea 2.10 este reprezentat tabelul de
adevăr al trăirilor lui Ben după picnic.

Using sum-of-products form, we write the Folosind formele disjunctive,putem să scriem o astfel
equation as: E=Ā Ŕ .We can build the de ecuație: E=Ā Ŕ .Putem să construim această ecuație
equation using two inverters and a two- utilizând doi inversori și o poartă ,,Și” cu două
input AND gate shown in Figure 2.11(a). intrări,precum este reprezentat in imaginea 2.11(a)

You may recognize this truth table as the Puteți observa că aceast tabel de adevăr este la fel ca
NOR function from Section 1.5.5:E=A și tabelul pentru funcția SAU negat din secțiunea
NOR R= A + ´ R.Figure 2.11(b) shows the 1.5.5: E=A SAU −NU R= A+
´ R.În imaginea 2.11(b)
NOR implementation. In Section 2.3, we este reprezentată aplicarea funcției SAU NEGAT
´ R , asupra elementelor.În secțiunea 2.3 vom arăta că
show that the two equations,Ā Ŕ and A+
are equivalent. ´ R sunt echivalente.
aceste două ecuații Á Ŕ și A+
Forma normală disjunctivă perfectă ne permite să
The sum-of-products form provides a scriem o ecuație Booleană pentru orice tabel de adevăr
Boolean equation for any truth table with cu oricare număr de variabile.
any number of variables. În figura 2.12 este reprezentat un tabel aleator cu trei
Figure 2.12 shows a random three-input intrări.Forma normală disjunctivă perfectă a unei
truth table. The sum-of-products form of funcții logice este: Y= Á B́ Ć + A B́ Ć + A B́C
the logic function is: Y= Á B́ Ć + A B́ Ć + A B́ Din păcate,forma normală disjunctivă perfectă nu
C neapărat generează o ecuație simplă.În secțiunea 2.3
Unfortunately, sum-of-products form does vom arăta cum se poate obține aceeași formulă
not necessarily generate the simplest utilizând mai puțini termini.
equation. In Section 2.3 we show how to
write the same function using fewer terms. 2.2.3 Forme conjunctive/Produsul sumelor logice
Un alt mod de a exprima funcțiile Booleene este forma
2.2.3 Product-of-Sums Form canonică conjunctiva perfecta.Fiecărei linii din tabelul
An alternative way of expressing Boolean de adevăr ii corespunde câte un maxterm(disjuncție
functions is the product-of sums canonical completă) care ia valoarea FALSĂ pentru această
form. Each row of a truth table linie.De exemplu,maxtermul primei linii a tabelului de
corresponds to a maxterm that is FALSE adevăr cu două intrări este (A+B) deoarece (A+B) ia
for that row.For example, the maxterm for valoarea FALSĂ când A=0,B=0.Pentru orice circuit
the first row of a two-input truth table is putem să scriem o ecuație Booleană,tocmai din tabelul
(A+B) because (A+B) is FALSE when său de adevăr,ca produs logic al fiecărui maxterm
A=0,B=0. We can write a Boolean pentru care variabila de ieșire ia valoarea FALSĂ.
equation for any circuit directly from the
truth table as the AND of each of the Exemplu2.3-Forme conjunctive
maxterms for which the output is FALSE. Scrieți o ecuație pentru tabelul de adevăr din imaginea
Exemple2.3-PRODUCT-OF-SUMS FORM 2.13, utilizând forma normală conjunctivă perfectă.
Write an equation in product-of-sums form Rezolvare:Tabelul de adevăr are două linii in care
for the truth table in Figure 2.13. ieșirea ia valoarea FALSĂ.Prin urmare,funcția poate fi
Solution: The truth table has two rows in scrisă ca formă conjunctivă in felul următor Y=(A+B)
which the output is FALSE. Hence, the (Ā+B).
function can be written in product-of-sums Primul maxterm,(A+B),ne garantează că Y=0 pentru
form as Y=(A+B)(Ā+B). A=0,B=0,deoarece produsul logic ȘI pentru valoarea
The first maxterm, (A +B), guarantees that 0 este 0.În același mod, al doilea maxterm(Ā+B),ne
Y=0 for A=0,B=0,because any value AND garantează că Y=0 pentru A=1,B=0.În imaginea 2.13
0 is 0.Likewise, the second maxterm, este reprezentat același tabel de adevăr ca și în
(Ā+B),guarantees that Y=0 for A=1,B=0. imaginea 2.9,astfel demonstrând că aceeași funcție
Figure 2.13 is the same truth table as poate fi scrisă în mai multe moduri.
Figure 2.9, showing that the same function În mod analog,ecuația Booleană pentru picnicul lui
can be written in more than one way. Ben din imaginea 2.10 poate fi scrisă ca formă
Similarly, a Boolean equation for Ben’s normală conjunctivă perfectă încercuind trei linii cu
picnic from Figure 2.10 can be written in valoarea 0, pentru a obține
product-of-sums form by circling the three E=¿)(Ā+R)(Ā+ Ŕ ).
rows of 0’s to obtain Această formulă arată mai urât decât ecuația scrisă în
E=¿)(Ā+R)(Ā+ Ŕ ) formă disjunctivă
This is uglier than the sum of-products E=Ā Ŕ dar ambele ecuații sunt echivalente din punct
equation , E= Ā Ŕ , but the two equations de vedere logic. Forma disjunctivă dă ca rezultat o
are logically equivalent. Sum-of-products ecuație mai scurtă atunci când ieșirea are valoarea de
produces the shortest equations when the ADEVĂR doar in câteva linii ale tabelului de
output is TRUE on only a few rows of a adevăr;forma conjunctivă este mai simplă atunci când
truth table; product-of-sums is simpler ieșirea are valoare FALSĂ doar în câteva linii ale
when the output is FALSE on only a few tabelului de adevăr.
rows of a truth table.
 Moldova State University
Faculty of Mathematics and Computer Sciense
Individual work on specialized translation
,,BOOLEAN ECUATIONS”

Done by the first year student ,Bulat Daria,grup M&MA 1901

Check by: Galina Ciudin,MA Lecturer

Chișinău 2019