Lecture 5 - Boolean Logic & Circuits
Boolean Algebra and Digital Design
Introduction to Boolean Algebra
Boolean algebra is a system of rules and operations used with variables that can only have two values: (false) or (true).
It forms the mathematical foundation for digital electronic circuits and computer logic.
Boolean Operations
Boolean Multiplication (AND operation): Denoted by (or implied by juxtaposition), analogous to logical AND.
Boolean Addition (OR operation): Denoted by , analogous to logical OR.
Boolean Complement (NOT operation): Denoted by a bar symbol () or a prime symbol (), analogous to logical NOT.
Examples of Boolean Expression Evaluation
Example 1: Evaluate the expression derived from the steps with
Substitute values:
Perform inner multiplications:
Perform complements:
Perform additions:
Example 2: Evaluate with
Substitute values:
Perform inner addition:
Perform multiplication:
Example 3: Evaluate with
Substitute values:
Perform multiplication:
Perform addition:
Boolean Functions
A Boolean function maps one or more Boolean input variables (from the set ) to a single Boolean output value (either or ).
Boolean functions can be defined in two ways:
Using a Boolean expression: For example, .
Using an input/output table: Similar to a truth table, it lists the output value for every possible combination of input values.
Constructing an Input/Output Table from a Boolean Expression
Example: Construct the input/output table for
Constructing a Boolean Expression from an Input/Output Table
A Boolean expression can be created by summing the minterms of all rows where the function's output is .
Literal: A variable appearing in an expression in its true form (e.g., ) or complemented form (e.g., or ).
Minterm: A product term consisting of exactly one literal for every input variable of the function. For three variables , a minterm would be a product like or .
Example: Find the Boolean expression for the function defined by the table (from page 5 for ):
Identify rows where :
Row : Minterm:
Row : Minterm:
Row : Minterm:
Sum these minterms to get the expression:
Laws of Boolean Algebra
These laws are fundamental for manipulating and simplifying Boolean expressions.
Rule
Application 1 (OR form)
Application 2 (AND form)
Idempotent Laws
Associative Laws
Commutative Laws
Distributive Laws
Identity Laws
Domination Laws
Double Complement Law
Complement Laws
De Morgan's Laws
Absorption Laws
Example of Boolean Expression Simplification
Simplify:
(Distributive Law: ; here )
(Complement Law: )
(Identity Law: )
Therefore,
Logic Gates and Combinational Circuits
Gates: Electrical devices that implement Boolean functions. They are the building blocks of digital circuits.
Combinational Circuits: Circuits built by combining inverters, OR gates, and AND gates. Their output depends solely on the current inputs.
Common Logic Gate Symbols
AND Gate: Represents Boolean multiplication ().
Symbol: D-shaped, with two inputs () and one output ().
OR Gate: Represents Boolean addition ().
Symbol: Curved front, with two inputs () and one output ().
Inverter (NOT Gate): Represents Boolean complement ().
Symbol: Triangle with a small circle (bubble) at the output, one input () and one output ().
Example of a Combinational Circuit and its Boolean Function
Consider a circuit with inputs :
An inverter acts on , producing .
An OR gate takes and as inputs, producing .
An AND gate takes and as inputs, producing .
Thus, the circuit corresponds to the Boolean function .
Digital Design Process
Designing digital circuits systematically involves several steps:
English Description: Clearly define the desired circuit behavior in natural language.
Input/Output Table: Translate the English description into a formal table showing outputs for all possible input combinations.
Boolean Expression: Derive a Boolean expression from the input/output table (typically as a sum of minterms).
Minimization: Simplify the Boolean expression using the laws of Boolean algebra (or other minimization techniques) to reduce the complexity of the final circuit.
Digital Circuit: Implement the minimized Boolean expression using logic gates.
Digital Design Example: Comparing Two One-Bit Numbers
English Description: Design a circuit that takes two one-bit binary numbers ( and ) as inputs and produces a output (logical ) when is greater than or equal to (), and (logical ) otherwise.
Input/Output Table:
()
( is true)
( is false)
( is true)
( is true)
Boolean Expression (Sum of Minterms):
The rows where are:
Summing these minterms:
Minimization:
(Associative Law)
(Distributive Law: factoring out )
(Complement Law: )
(Identity Law: )
(Distributive Law: ; here )
(Complement Law: )
(Identity Law: )
Rearranging:
Digital Circuit:
The minimized expression is . This can be built using one inverter and one OR gate:
An inverter takes as input to produce .
An OR gate takes and as inputs, producing the final output .