Boolean Algebra
Boolean Algebra
Boolean Algebra
Boolean Algebra
Introduction
1854: Logical algebra was published
by George Boole known today as
Boolean Algebra
Its a convenient way and systematic
way of expressing and analyzing the
operation of logic circuits.
LOGIC GATES
In formal logic, a statement (proposition) is a
declarative sentence that is either true(1) or
false (0). It is easier to communicate with
computers using formal logic.
Boolean variable: Any literal symbol that
takes only two values either true (1) or false
(0) such as x,y,z used to represent an
element of B={0,1}.
They are used as basic units of formal logic.
Boolean Expression
Boolean expression: Let x1, x2,,xn be
Boolean variables. A Boolean expression
over B is defined recursively as follows:
0 and 1 are Boolean expressions
x1, x2,,xn are Boolean expressions
If is a Boolean expression, then is a
Boolean expression
If 1 and 2 are Boolean expressions, then
(1 2) and (1 + 2) are Boolean
expressions.
Gates
It refers to the hardware to implement Boolean
operators.
A gate is a logic circuit with one or more input
signals but only one output signal.
The most basic gates are
Boolean Addition
Boolean addition is equivalent to the OR
operation0+0=0 0+1=1 1+0=1 1+1=1
Boolean Multiplication
Boolean multiplication is equivalent to the
AND operation
00=0 01=0
10=0
11=1
Commutative Laws
The commutative law of addition for
two variables is written as: A+B =
B+A A
B
B
A+B
B+A
B+A
B
A
written as: AB = BA
Associative Laws
The associative law of addition for 3
variables is written as: A+(B+C) =
(A+B)+C
A+B
A
A
B
C
A+(B+C)
B+C
B
C
(A+B)+C
Distributive Laws
The distributive law is written for 3
variables as follows: A(B+C) = AB + AC
B+C
A
C
X=A(B+C)
AB
AC
X=AB+AC
7. A A A
8. A A 0
9. A A
10. A AB A
11. A A B A B
12.( A B)( A C ) A BC
___________________________________________________________
A, B, and C can represent a single variable or a combination of vari
More Examples
Show that;
(a) ab + ab'c = ab + ac
(b) (a + b)(a + b' + c) = a + bc
DeMorgans Theorems
DeMorgans theorems provide
mathematical verification of:
the equivalency of the NAND and
negative-OR gates
the equivalency of the NOR and
negative-AND gates.
DeMorgans Theorems
The complement of two
or more ANDed
variables is equivalent
to the OR of the
complements of the
individual variables.
NAND
Negative-OR
X Y X Y
NOR
Negative-AND
X Y X Y
DeMorgans Theorems
(Exercises)
Apply DeMorgans theorems to the
expressions:
X Y Z
X Y Z
X Y Z
W X Y Z
DeMorgans Theorems
(Exercises)
Apply DeMorgans theorems to the
expressions:
( A B C)D
ABC DEF
AB C D EF
A BC D ( E F )
B+CD
B
A(B+CD)
INPUTS
OUTPUT
OUTPUT
AA
CC
DD
A(B+CD)
A(B+CD)
00
00
00
00
11
00
00
11
11
00
00
00
00
00
11
00
11
11
11
00
00
11
00
11
11
11
00
11
00
00
11
11
00
11
11
11
11
00
11
11
11
11
11