Lect 04 T
Lect 04 T
(Boolean Algebra I)
Kaushik Patra
([email protected])
●
Boolean values and operations
●
Boolean Functions & Truth Table
●
Basic Identities & Algebraic Manipulation
●
Boolean Functions & Truth Table
●
Basic Identities
●
Boolean Algebraic Manipulation
●
Since dealing with 1 or 0, Boolean algebra is ideal for handling
mathematics using Binary number systems.
●
For the need of advance digital logic analysis, Boolean algebra is
extended to handle multivalued arithmetic. For example simulator
often uses value 'x' to represent unknown value and 'z' to represent
electrical isolation.
●
Operation 'AND' between two variables will result 1 if and only if both
the variables assume value 1. Operation rules are 0.0=0; 0.1=0; 1.0=0;
1.1=1;
●
Operation 'OR' between two variables will result 0 if and only if both the
variables assume value 0. Operation rules are 0+0=0; 0+1=1; 1+0=1;
1+1=1;
●
Operation 'NOT' is an unary operations which results in exact opposite
value of the present value that a variable is holding. Operations rules
are 0'=1; 1'=0;
●
There are three basic Boolean algebraic operations
– AND (.) or conjunction (˄)
– OR (+) or disjunction (˅)
– NOT (') or negation (⌐)
●
Since dealing with 1 or 0, Boolean algebra is ideal for handling
mathematics using Binary number systems.
●
For the need of advance digital logic analysis, Boolean algebra is
extended to handle multivalued arithmetic. For example simulator
often uses value 'x' to represent unknown value and 'z' to represent
electrical isolation.
●
Operation 'AND' between two variables will result 1 if and only if both
the variables assume value 1. Operation rules are 0.0=0; 0.1=0; 1.0=0;
1.1=1;
●
Operation 'OR' between two variables will result 0 if and only if both the
variables assume value 0. Operation rules are 0+0=0; 0+1=1; 1+0=1;
1+1=1;
●
Operation 'NOT' is an unary operations which results in exact opposite
value of the present value that a variable is holding. Operations rules
are 0'=1; 1'=0;
F(X,Y,Z) = X.Y' + Z
●
Each part of the right hand side of the equation is called a 'term'
– X.Y' is a term and Z is another term.
– X is also a term in X.Y' and thus Y'
●
Often we drop the symbol '.' from the expression. For example the
equation on the slide can be written as 'F(X,Y,Z) = XY' + Z'.
●
The above function is 1 if the term XY' is 1 or Z is 1. This implies that
the above function is 1 if X is 1 and Y is 0 (which makes the term XY'
results in 1).
X Y Z F(X,Y, Z)
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
●
Truth table is a table which shows all possible combination of values of
the variables in the function and corresponding evaluated value of the
function if we replace the variable with its corresponding values.
●
For example if X=1, Y=0 and Z=0 then F(X,Y,Z) will be evaluated as 1.0'
+ 0 = 1.1 = 1. This means the row in the truth table having X=1, Y=0
and Z=0 will have an entry of 1 in the function value column.
●
'Complement' of a Boolean function F is a function obtained by
changing 1s to 0s and 0s to 1s in the truth table for original function F
values. This means like dual '.' is changed to '+' and vice-verse.
However, unlike dual, variables are complemented too.
– F(X,Y,Z) = X'YZ' + X'Y'Z
– F'(X,Y,Z) = (X + Y' + Z)(X + Y + Z')
●
To complement a function we can change the original function to its dual
expression and then we complement each literals or variables.
●
For example to compute complement of F = X'YZ' + X'Y'Z we compute
dual expression as (X'+Y+Z')(X'+Y'+Z) and then complement its variable
as (X+Y'+Z)(X+Y+Z'), which is a complement of original function F.
●
The following is the example of complementing function F(X,Y,Z) = XY'
+ Z, which gives F'(X,Y,Z) = (X' + Y)Z'
X Y Z F(X,Y, Z) X Y Z F(X,Y, Z)
0 0 0 0 0 0 0 1
0 0 1 1 0 0 1 0
0 1 0 0 0 1 0 1
0 1 1 1 0 1 1 0
1 0 0 1 1 0 0 0
1 0 1 1 1 0 1 0
1 1 0 0 1 1 0 1
1 1 1 1 1 1 1 0
10
11
●
First 9 rules shows the relationship between a single variable X and its
complement X' and the binary constant 0 and 1.
●
The identities 10-14 are the counter part of the ordinary algebra.
●
The identities 15 to 17 are only applicable for Boolean expression.
●
The two columns of identities shows the dual nature of Boolean algebra.
If one identity holds, its dual identity will also hold. For example if (X +
1 = 1) holds then its dual (X.0 = 0) will also hold.
●
The 16 and 17 identity can be proved by using truth table equivalency.
Also it can be proved as following example.
●
F = X + Y => F' = (X + Y)'
●
From definition of complement of function F' = X'.Y'
●
Hence (X+Y)' = X'.Y'
●
DeMorgan's theorem is very useful to simplify complement of a function.
F = X'YZ + X'YZ' + XZ
= X'Y(Z+Z') + XZ … by identity 14
= X'Y.1 + XZ … by identity 7
= X'Y + XZ … by identity 2
12
1. X + XY = X 4. X(X+Y) = X
2. XY+XY' = X 5. (X+Y)(X+Y') = X
3. X+X'Y = X + Y 6. X(X'+Y) = XY
13
14
●
The following example shows the usefulness of consensus theorem.
Kaushik Patra
([email protected])
15
●
Boolean values and operations
●
Boolean Functions & Truth Table
●
Basic Identities & Algebraic Manipulation