Boolean Algebra: A branch of algebra where variables have only two values: 0 (false) or 1 (true)
Sum of Products: A Boolean expression that adds together the results of two or more AND operations
AND Operation (\(A \cdot B\)): True only when both A and B are true
OR Operation (\(A + B\)): True when at least one of A or B is true
NOT Operation (\(\overline{A}\)): Inverts the value of A
Both terms contain A: \(A \cdot B + A \cdot C\)
Factor out A: \(A \cdot B + A \cdot C = A \cdot (B + C)\)
Check that both expressions produce the same outputs
Both terms contain B: \(A \cdot B + \overline{A} \cdot B\)
Factor out B: \(A \cdot B + \overline{A} \cdot B = B \cdot (A + \overline{A})\)
\(A + \overline{A} = 1\) (always true)
\(B \cdot 1 = B\)
Boolean Variable: A variable that can only have two values: 0 (false) or 1 (true)
Sum of Products: A Boolean expression that adds together the results of AND operations
Product: The result of an AND operation (\(A \cdot B\))
Sum: The result of an OR operation (\(A + B\))
Literals: Variables in their true or complemented form (A or \(\overline{A}\))
Terms: Products of literals (A·B, A·B·C, etc.)
- Identify Terms: Recognize each product term in the sum
- Look for Common Factors: Find literals that appear in multiple terms
- Apply Distributive Law: Factor out common literals
- Use Boolean Identities: Apply laws like \(A + \overline{A} = 1\)
- Simplify: Reduce to the simplest form
- Verify: Check with truth tables if needed
Both terms contain A: \(A \cdot B + A \cdot \overline{B}\)
\(A \cdot B + A \cdot \overline{B} = A \cdot (B + \overline{B})\)
\(B + \overline{B} = 1\)
\(A \cdot 1 = A\)
Both terms contain A·B: \(A \cdot B + A \cdot B \cdot C\)
\(A \cdot B + A \cdot B \cdot C = A \cdot B \cdot (1 + C)\)
\(1 + C = 1\) (since anything OR true equals true)
\(A \cdot B \cdot 1 = A \cdot B\)
Both terms contain B: \(\overline{A} \cdot B + A \cdot B\)
\(\overline{A} \cdot B + A \cdot B = B \cdot (\overline{A} + A)\)
\(\overline{A} + A = 1\)
\(B \cdot 1 = B\)
Boolean Variable: A variable that can only have two values: 0 (false) or 1 (true)
Sum of Products: A Boolean expression that adds together the results of AND operations
AND Operation (\(A \cdot B\)): True only when both A and B are true
OR Operation (\(A + B\)): True when at least one of A or B is true
NOT Operation (\(\overline{A}\)): Inverts the value of A
Literals: Variables in their true or complemented form (A or \(\overline{A}\))
Terms: Products of literals (A·B, A·B·C, etc.)
Canonical Form: A standardized way of expressing Boolean functions
- Identify the Expression: Recognize the sum of products pattern
- Look for Common Factors: Find literals that appear in multiple terms
- Apply Distributive Law: Factor out common literals
- Use Boolean Identities: Apply laws like \(A + \overline{A} = 1\)
- Simplify Iteratively: Continue simplifying until no further reduction is possible
- Verify Results: Check with truth tables or alternative methods
• Distributive Law: \(A \cdot B + A \cdot C = A \cdot (B + C)\)
• Complement Law: \(A + \overline{A} = 1\), \(A \cdot \overline{A} = 0\)
• Identity Law: \(A + 0 = A\), \(A \cdot 1 = A\)
• Annulment Law: \(A + 1 = 1\), \(A \cdot 0 = 0\)
• Idempotent Law: \(A + A = A\), \(A \cdot A = A\)
A, B, C can each be 0 or 1, resulting in 8 possible combinations
Truth Table Analysis: This chart shows how Boolean expressions evaluate for all possible input combinations.
- Boolean variables can only be 0 (false) or 1 (true)
- AND operation (·) requires both inputs to be 1
- OR operation (+) requires at least one input to be 1
- Truth tables verify that our simplifications are correct