Digital Electronics: Kwame Oteng Gyasi Lecture 4: Boolean Algebra
Digital Electronics: Kwame Oteng Gyasi Lecture 4: Boolean Algebra
X Y Z
DeMorgan’s Theorems
•
DeMorgan’s Theorems Example
( AB C )( A BC ) AB C A BC
• This can be further simplified.
DeMorgan’s Theorems Example
b. ( A B C ) D ANS: ABC D
1. The expression for the left-most AND gate with inputs C and D is CD.
2. The output of the left-most AND gate is one of the inputs to the OR
gate and B is the other input. Therefore, the expression for the OR
gate is B + CD.
3. The output of the OR gate is one of the inputs to the right-most AND
gate and A is the other input. Therefore, the expression for this AND
gate is A(B + CD), which is the final output expression for the entire
circuit.
Constructing a Truth Table for a Logic Circuit
• Once the Boolean expression for a given logic circuit
has been determined, a truth table that shows the
output for all possible values of the input variables
can be developed.
• The procedure requires that you evaluate the
Boolean expression for all possible combinations of
values for the input variables.
• In the case of the circuit in the previous slide, there
are four input variables (A, B, C, and D) and
therefore sixteen (24 = 16) combinations of values
are possible.
Evaluating the Expression
• To evaluate the expression A(B + CD), first find the values of the variables
that make the expression equal to 1, using the rules for Boolean addition
and multiplication.
• In this case, the expression equals 1 only if A = 1 and B + CD = 1 because A(B
+ CD) = 1.1 = 1
• Now determine when the B + CD term equals 1.
• The term B + CD = 1 if either B = 1 or CD = 1 or if both B and CD equal 1
because
B + CD = 1 + 0 = 1
B + CD = 0 + 1 = 1
B + CD = 1 + 1 = 1
• The term CD = 1 only if C = 1 and D = 1.
• To summarize, the expression A(B + CD) = 1 when A = 1 and B = 1 regardless
of the values of C and D or when A = 1 and C = 1 and D = 1 regardless of the
value of B.
• The expression A(B + CD) = 0 for all other value combinations of the
variables.
Truth Table
TRY