Boolean algebra is a branch of mathematics that deals with variables having only two possible values: 0 and 1. These values represent false and true respectively, and form the foundation of digital logic used in computers, calculators, and many electronic devices.
Understanding Boolean algebra is essential for computer aptitude tests and competitive exams because it helps simplify complex logical expressions and design efficient digital circuits. This simplification reduces hardware costs and improves performance in real-world applications.
In this chapter, we will explore Boolean variables, operations, logic gates, fundamental laws, simplification techniques, and practical applications. By the end, you will be able to analyze and simplify Boolean expressions confidently and translate them into logic circuits.
A Boolean variable is a variable that can take one of two values: 0 or 1. These values correspond to false and true respectively.
There are three basic Boolean operations:
These operations are denoted symbolically as follows:
Let's see the truth tables for these operations, which show all possible input combinations and their corresponding outputs.
| A | B | A · B (AND) | A + B (OR) | ‾A (NOT A) |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 0 |
Why these operations matter: In digital circuits, 1 and 0 correspond to voltage levels (e.g., 5V and 0V). The AND operation models situations where all conditions must be true, OR models situations where any condition suffices, and NOT flips the state.
Logic gates are physical devices that implement Boolean operations. Each gate has one or more inputs and a single output based on the Boolean operation it performs.
Here are the common logic gates, their symbols, and truth tables:
Summary of gates:
Boolean algebra follows specific laws and theorems that help simplify expressions. These laws are similar to arithmetic laws but adapted for Boolean variables.
1. Commutative Law
The order of variables does not affect the result:
2. Associative Law
The grouping of variables does not affect the result:
3. Distributive Law
AND distributes over OR and vice versa:
4. Identity Law
0 is the identity for OR, and 1 is the identity for AND:
5. Null Law
1 is the null for OR, and 0 is the null for AND:
6. Complement Law
A variable ORed with its complement is 1; ANDed with its complement is 0:
7. De Morgan's Theorems
These theorems relate complements of AND and OR operations:
Why these laws are important: They allow us to rewrite and simplify complex Boolean expressions, making digital circuits easier to design and understand.
Step 1: Apply the Absorption Law which states \( A + A \cdot B = A \).
Explanation: If \( A = 1 \), the expression is 1 regardless of \( B \). If \( A = 0 \), then \( A \cdot B = 0 \), so the expression is 0. Hence, the expression simplifies to \( A \).
Answer: \( A + A \cdot B = A \)
A truth table lists all possible input combinations of Boolean variables and shows the output of a Boolean expression for each combination. It is a fundamental tool to analyze and verify logic expressions and circuits.
Let's construct a truth table for the expression \( (A + B) \cdot C \):
| A | B | C | A + B | (A + B) · C |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 |
How to read the table: For each row, calculate \( A + B \) first, then multiply by \( C \). The output column shows the final result.
A Karnaugh map (K-map) is a graphical tool to simplify Boolean expressions with 2 to 4 variables by grouping adjacent 1s in a grid. It helps minimize the number of terms and variables in the expression, making circuit design easier.
Each cell in a K-map corresponds to a minterm (a unique combination of variable values). Adjacent cells differ by only one variable, allowing grouping in powers of two (1, 2, 4, 8...).
Here is a 4-variable K-map layout with variables \( A, B, C, D \):
How to group: Group adjacent 1s in rectangles of size 1, 2, 4, 8, etc. Groups can wrap around edges. Each group corresponds to a simplified product term.
Step 1: Plot the minterms on the 4-variable K-map by marking 1s in the corresponding cells.
Step 2: Group the adjacent 1s in the largest possible groups (powers of two). For example, group minterms (0,2,8,10) and (5,7,13,15).
Step 3: Derive the simplified expression from each group:
Step 4: Write the simplified Boolean expression:
\[ F = \overline{B} \cdot \overline{D} + B \cdot D \]
Answer: \( F = \overline{B} \cdot \overline{D} + B \cdot D \)
Step 1: Identify the operations:
Step 2: Draw the circuit stepwise:
Step 3: Connect the gates accordingly.
Answer: The circuit consists of an AND gate for \( A \cdot B \), a NOT gate for \( \overline{C} \), and an OR gate combining both outputs.
Step 1: List all possible combinations of inputs \( A, B, C \). Since each can be 0 or 1, there are \( 2^3 = 8 \) combinations.
Step 2: Calculate \( A + B \) for each combination.
Step 3: Multiply the result of \( A + B \) by \( C \) (AND operation).
Step 4: Fill the output column accordingly.
| A | B | C | A + B | (A + B) · C |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 1 |
Answer: The truth table above correctly represents the expression \( (A + B) \cdot C \).
Step 1: Apply De Morgan's theorem to the complement of a sum:
\[ \overline{A + B \cdot C} = \overline{A} \cdot \overline{B \cdot C} \]
Step 2: Apply De Morgan's theorem again to \( \overline{B \cdot C} \):
\[ \overline{B \cdot C} = \overline{B} + \overline{C} \]
Step 3: Substitute back:
\[ \overline{A + B \cdot C} = \overline{A} \cdot (\overline{B} + \overline{C}) \]
Answer: \( \overline{A + B \cdot C} = \overline{A} \cdot (\overline{B} + \overline{C}) \)
When to use: When dealing with complements of AND/OR expressions.
When to use: While simplifying Boolean expressions using Karnaugh maps.
When to use: When you see terms with a variable ORed with its AND combination.
When to use: When verifying or simplifying Boolean expressions.
When to use: When converting Boolean expressions to circuits.
Progress tracking is paywalled — subscribe to mark subtopics as understood and save your streak.
Go to practice →