Class 01
Boolean Algebra â Class LectureÂļ
āĻāĻāĻā§ āĻāĻŽāϰāĻž āĻļāĻŋāĻāĻŦ Boolean Algebra āύāĻŋā§ā§āĨ¤
Boolean Algebra basically āĻāĻāĻāĻž mathematical system, āϝā§āĻāĻž āĻĻāĻŋā§ā§ āĻāĻŽāϰāĻž logic operation āĻāϰāĻŋ using binary variables. Binary āĻŽāĻžāύ⧠āĻļā§āϧ⧠āĻĻā§āĻāĻāĻž value āύāĻŋāϤ⧠āĻĒāĻžāϰāĻŦā§:
- 1 â True / High
- 0 â False / Low
Variable āϏāĻžāϧāĻžāϰāĻŖāϤ alphabet āĻĻāĻŋā§ā§ represent āĻāϰāĻŋ, āϝā§āĻŽāύ A, B, C.
āϝāĻĻāĻŋ āĻāĻŽāϰāĻž A bar (\(\overline{A}\)) āϞāĻŋāĻāĻŋ, āĻŽāĻžāύ⧠A-āĻāϰ complement, āĻ
āϰā§āĻĨāĻžā§ A=1 āĻšāϞ⧠\(\overline{A}\)=0 āĻāϰ A=0 āĻšāϞ⧠\(\overline{A}\)=1.
Boolean FunctionÂļ
Boolean function āĻšāϞ⧠āĻāĻŽāύ āĻāĻāĻāĻž equation āϝā§āĻāĻžāύ⧠variable āĻā§āϞāĻž combine āĻšā§ AND (¡), OR (+ āĻŦāĻž \(\vee\)), āĻāϰ NOT (bar) āĻĻāĻŋā§ā§āĨ¤
Example:
āĻŽāĻžāύ⧠F āĻšāĻŦā§ 1 āϝāĻĻāĻŋ A āĻāĻŦāĻ B āĻĻā§āĻā§āĻ 0 āĻšā§, āĻ āĻĨāĻŦāĻž C=1 āĻšā§āĨ¤
Truth Table āĻŦāĻžāύāĻžāύā§Âļ
Truth Table basically āϏāĻŦ possible input combination āĻāϰ āĻāύā§āϝ output āĻĻā§āĻāĻžā§āĨ¤
āĻāĻ function \(F = \overline{A} \cdot \overline{B} \vee C\) āĻāϰ truth table:
| A | B | C | \(\overline{A}\) | \(\overline{B}\) | \(\overline{A} \cdot \overline{B}\) | F |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 1 |
Logic Circuit DiagramÂļ
Circuit āĻŦāĻžāύāĻžāϤ⧠āĻĒā§āϰāĻĨāĻŽā§ A āĻāϰ B āĻāϰ āĻāĻĒāϰ NOT gate āϞāĻžāĻāĻžāĻŦā§, āϤāĻžāϰāĻĒāϰ output āĻĻā§āĻāĻāĻž AND gate āĻĻāĻŋā§ā§ connect āĻāϰāĻŦ, āϤāĻžāϰāĻĒāϰ C āĻāϰ āϏāĻžāĻĨā§ āĻāĻāĻāĻž OR gate āĻ āĻĻāĻŋāĻŦā§āĨ¤ Final output āĻšāĻŦā§ F.

Figure 1: Logic circuit implementation of \(F = \overline{A} \cdot \overline{B} \vee C\) using NOT, AND, and OR gates.
āĻāĻŋāĻā§ Boolean IdentitiesÂļ
- \(A \vee 0 = A\)
- \(A \cdot 0 = 0\)
- \(A \vee 1 = 1\)
- \(A \cdot 1 = A\)
- \(A \vee A = A\)
- \(A \cdot A = A\)
- \(A \vee \overline{A} = 1\)
- \(A \cdot \overline{A} = 0\)
- \(\overline{\overline{A}} = A\)
- \(A \vee B = B \vee A\) (Commutative)
āĻāĻŽāϰāĻž expression āĻāĻž āύāĻŋāĻā§āĻāĻŋ:
Step-by-step:
- \(BC(AD \vee \overline{A}D \vee 1)\) â āĻāĻāĻžāύ⧠common \(BC\) āĻŦā§āϰ āĻāϰ⧠āύāĻŋāϞāĻžāĻŽāĨ¤
- \(= BCD(A \vee \overline{A}) \vee BC\) â Identity: \(A \vee \overline{A} = 1\)
- \(= BCD \cdot 1 \vee BC\) â 1 āĻĻāĻŋā§ā§ AND āĻāϰāϞ⧠āĻāĻāĻ āĻĨāĻžāĻā§āĨ¤
- \(= BCD \vee BC\) â āĻāĻāύ BC āĻŦā§āϰ āĻāϰāϞ⧠āĻāϰāĻ simplify āĻšāĻŦā§āĨ¤
- \(= BC(D \vee 1)\) â Identity: \(X \vee 1 = 1\)
- \(= BC \cdot 1 = BC\)
So final simplified form:
Consensus Theorem (1)Âļ
- Consensus āĻŽāĻžāύ⧠āĻšāϞ⧠āĻāĻāϤāĻž āĻŦāĻž āϏāĻžāĻŽā§āϝāĨ¤
Consensus theorem āĻŦāϞ⧠āϝā§:
āĻŽāĻžāύā§, āϝāĻĻāĻŋ expression āĻāϰ āĻŽāϧā§āϝ⧠āĻāĻŽāύ āĻāĻāĻāĻŋ term āĻĨāĻžāĻā§ āϝā§āĻāĻžāύ⧠āĻāĻāĻāĻŋ literal (āϝā§āĻŽāύ B) AND āĻšā§ā§āĻā§ āϤāĻžāϰ complement-āĻāϰ āϏāĻžāĻĨā§ (āĻ āύā§āϝ term-āĻ), āϤāĻžāĻšāϞ⧠āĻāĻ AND term āĻāĻž āĻŦāĻžāĻĻ āĻĻā§āĻā§āĻž āϝāĻžā§āĨ¤
Easy āĻāĻžāĻŦā§: āĻāĻāĻāĻž term āĻ āύā§āϝ āĻĻā§āĻ term-āĻāϰ āĻŽāϧā§āϝ⧠"consensus" āϤā§āϰāĻŋ āĻāϰā§, āϝā§āĻāĻž actually redundant, āϤāĻžāĻ āĻāĻŽāϰāĻž āϏā§āĻāĻž āϏāϰāĻŋā§ā§ āĻĢā§āϞāϤ⧠āĻĒāĻžāϰāĻŋāĨ¤
Just English â Textbook StyleÂļ
Example SimplificationÂļ
Given:
Steps:
- Factor \(BC\):
- Apply complement law \(A \vee \overline{A} = 1\):
- Simplify \(X \cdot 1 = X\):
- Factor \(BC\) again:
- Apply identity law \(X \vee 1 = 1\):
- Final:
Consensus Theorem (Textbook Form)Âļ
The Consensus Theorem states:
The theorem indicates that the AND term \(BC\) can be eliminated if one literal (such as \(B\)) appears in both complemented and uncomplemented form in other terms of the expression.