Boolean Algebra

Boolean Algebra is a set of rules, laws and theorems by which logical operation can be expressed mathematically. It is convenient and systematic way of expressing and analyzing the operation of digital circuits and systems.
Example: F= x+y’z

Fig: logic diagram
Logic Operation

Type Distinctive shape Boolean algebra between A & B Truth table
AND AND symbol A \cdot B
INPUT OUTPUT
A B A AND B
0 0 0
0 1 0
1 0 0
1 1 1
OR OR symbol A+B
INPUT OUTPUT
A B A OR B
0 0 0
0 1 1
1 0 1
1 1 1
NOT NOT symbol \overline{A}
INPUT OUTPUT
A NOT A
0 1
1 0
NAND NAND symbol \overline{A \cdot B}
INPUT OUTPUT
A B A NAND B
0 0 1
0 1 1
1 0 1
1 1 0
NOR NOR symbol \overline{A + B}
INPUT OUTPUT
A B A NOR B
0 0 1
0 1 0
1 0 0
1 1 0
XOR XOR symbol A \oplus B
INPUT OUTPUT
A B A XOR B
0 0 0
0 1 1
1 0 1
1 1 0
XNOR XNOR symbol \overline{A \oplus B} or {A \odot B}
INPUT OUTPUT
A B A XNOR B
0 0 1
0 1 0
1 0 0
1 1 1

Source: Wikipedia
Purpose of Boolean Algebra
1. Express in algebraic form a truth table relationship between binary variables
2. Express in algebraic form the i/o relationship of logic diagram
3. Find simpler circuits for the same function
Basic Identities of Boolean Algebra

  1. x+0 = x
  2. x.0 = 0
  3. x+1 = 1
  4. x.1 = x
  5. x+x = x
  6. x.x = x
  7. x+x’ = 1
  8. x.x’ = 0
  9. (x’)’ = x

Laws:

  1. Commutative Law:

(A+B) = (B+A)
(A.B) = (B.A)
2. Associative Law:
A+(B+C) = (A+B)+C
A.(B.C) = (A.B).C
3. Distributive Law:
A.(B+C) = A.B+A.C
4. Involution Law:
__
__
A  = A
5. Idempotent Law:
x+x+x+x+x+x+x+x…… = x
x.x.x.x.x.x.x.x.x.x.x…… = x
When all the input of an OR gate or an AND gate are shorted to get a one input  one output gate, the logic gate of the input is same as the logic state of the output.
6. Absorption Law:
A.(A+B) = 1
LHS: A.A+A.B                                     Distributive Law
= A+A.B                                        Idempotent Law
= A(1+B)                                      Distributive Law
= A.1
=A
Dual of a boolean expression
Replace (+) by (.) or vice versa and complementing 0’s and 1’s.
Example:
A.B = A+B
A.B+A.B = (A+B).(A+B)

Leave a Reply

Your email address will not be published. Required fields are marked *