Boolean Algebra Notes
Boolean Algebra Notes
2. Truth Table
A truth table is a mathematical table that shows all possible truth values of logical
expressions or Boolean functions. It lists the output of a Boolean expression for every
possible combination of input values.
Example:
For a basic logical AND operation:
A B A AND B
0 0 0
0 1 0
1 0 0
1 1 1
Other logical operations like OR, NOT, XOR, etc., can similarly be represented using truth
tables.
5. Principle of Duality
The Principle of Duality in Boolean algebra states that every algebraic expression remains
valid if:
1. Operators are interchanged:
o Replace AND (·) with OR (+), and vice versa.
2. Constants are interchanged:
o Replace 0 with 1, and 1 with 0.
Example:
Expression: A + 0 = A Dual: A · 1 = A
This principle highlights the symmetry in Boolean algebra.
6. Canonical Form
Canonical forms are standardized ways of expressing Boolean functions. Two common
canonical forms are:
Sum of Products (SOP):
o Boolean function is expressed as a sum (OR) of product terms (ANDed literals).
o Example: F(A, B, C) = A′B + AB′C
Product of Sums (POS):
o Boolean function is expressed as a product (AND) of sum terms (ORed literals).
o Example: F(A, B, C) = (A + B′) · (A′ + C)
Canonical forms are often used in digital logic design to simplify circuits.
7. Karnaugh Map (K-map)
A Karnaugh Map is a graphical method used to simplify Boolean expressions and minimize
logic circuits. It is a systematic approach to reducing SOP and POS forms.
Features:
Uses a grid format to represent truth table values.
Adjacent cells differ by only one variable (Gray code ordering).
Steps to Simplify Boolean Expressions:
1. Create a K-map from the truth table.
2. Group adjacent 1s (for SOP) or 0s (for POS) into rectangles of sizes 1, 2, 4, 8, etc.
3. Write the simplified expression by identifying variables that remain constant in each
group.
Example:
For a truth table with 3 variables (A, B, C), the K-map will have 8 cells:
AB \ C 0 1
00 F1 F2
01 F3 F4
11 F5 F6
10 F7 F8
By grouping 1s and identifying patterns, the Boolean expression can be simplified.