Boolean Algebra – Hybrid-Learning Lecture (Topic 2)

Overview of Boolean Algebra

  • Boolean Algebra (a.k.a. switching or logical algebra) is a mathematical system that works exclusively with two symbols: 00 and 11.
  • Widely used for analysing electronic, optical and other switching circuits.
  • Three fundamental operations:
    • Complement (NOT / negation)
    • Boolean Sum (OR / +)
    • Boolean Product (AND / ·)

Fundamental Elements & Notation

  • Symbols allowed: 0,10,1 only.
  • Complement is written with a bar or over-line: A\overline{A}.
    0=1\overline{0}=1
    1=0\overline{1}=0
  • Alternative symbols you may encounter:
    ++ for OR
    • “blank” or \cdot or bracket adjacency for AND
    • Small output-circle on gate diagrams indicates “invert/complement.”

Core Operations & Their Truth Tables

  • Boolean Sum (OR):
    1+1=11+1=1
    1+0=11+0=1
    0+1=10+1=1
    0+0=00+0=0
  • Boolean Product (AND):
    11=11\cdot1=1
    10=01\cdot0=0
    01=00\cdot1=0
    00=00\cdot0=0
  • Complement rules already given above.

Example 1 – Proving the Distributive Law X(Y+Z)=XY+XZX(Y+Z)=XY+XZ

  • Variables involved: X,Y,Z3X, Y, Z\rightarrow 3 variables 23=8\Rightarrow 2^3=8 possible input rows.
  • Column plan for truth-table: X,Y,Z,(Y+Z),X(Y+Z),XY,XZ,XY+XZX, Y, Z, (Y+Z), X(Y+Z), XY, XZ, XY+XZ.
  • Row pattern (1-2-4 rule):
    XX: four 11s then four 00s
    YY: two 11s, two 00s repeating
    ZZ: alternate 1,01,0
  • Fill table step-by-step (extract reproduced figures):
    Y+ZY+Z column → 1,1,1,0,1,1,1,01,1,1,0,1,1,1,0
    X(Y+Z)X(Y+Z) produced by ANDing XX with Y+ZY+Z1,1,1,0,0,0,0,01,1,1,0,0,0,0,0
    XYXY1,1,0,0,0,0,0,01,1,0,0,0,0,0,0
    XZXZ1,0,1,0,0,0,0,01,0,1,0,0,0,0,0
    XY+XZXY+XZ (OR of previous two) → 1,1,1,0,0,0,0,01,1,1,0,0,0,0,0
  • Observation: The final two columns are identical, therefore distributive law holds.

Example 2 – Evaluating XY+ZXY + \overline{Z}

  • Again X,Y,ZX,Y,Z88 rows.
  • Compute XYXY first, then complement of ZZ, finally OR them:
    • Resulting final column in lecture: 1,1,0,1,0,1,0,11,1,0,1,0,1,0,1 (pattern 1101010111010101).
  • Note: Instructor emphasised that only 00 and 11 ever appear in any intermediate or final column.

Translating Classical Logic to Boolean Form

  • Truth ($T$) → 11; False ($F$) → 00.
  • Conjunction (\wedge) → AND; Disjunction (\vee) → OR; Negation (¬\lnot) → Complement.
  • Example from class:
    (TT)¬F(T \wedge T) \vee \lnot F
    becomes
    (11)+0=1+1=1(1\cdot1) + \overline{0} = 1 + 1 = 1.

Logic Gates & Their Boolean Behaviour

  • NOT (Inverter) / “small circle”: Y=AY=\overline{A}. Truth table: 01,  100\rightarrow1,\;1\rightarrow0.
  • AND gate: Y=ABY=A\cdot B (standard).
  • OR gate: Y=A+BY=A+B.
  • NOR gate: OR followed by inversion. If input AA enters the bubble, output A+B\overline{A+B}; single-input NOR behaves like simple NOT.
  • NAND gate: AND followed by inversion. Truth table excerpt:
    00=00=10\cdot0=0 \Rightarrow \overline{0}=1
    01=00=10\cdot1=0 \Rightarrow \overline{0}=1
    10=00=11\cdot0=0 \Rightarrow \overline{0}=1
    11=11=01\cdot1=1 \Rightarrow \overline{1}=0
  • NOT-OR (NOR) and NOT-AND (NAND) share rule: compute normal output, then complement.
  • Exclusive OR (XOR): Outputs 11 if and only if inputs differ.
    • Law emphasised: “Same truth values \Rightarrow XOR gives 00.”

Principle of Duality

  • To obtain the dual of a Boolean expression:
    • Swap every ++ (OR) with \cdot (AND).
    • Swap every \cdot with ++.
    • Replace every 00 with 11 and every 11 with 00.
    • Variable symbols remain unchanged.

Worked Duality Examples from Lecture

  1. Y+Z    YZY+Z \;\Rightarrow\; Y\cdot Z (only operator swapped).
  2. Z0    Z+1Z\cdot0 \;\Rightarrow\; Z+1 (operator AND→OR, constant 010→1).
  3. X(Y+0)X\,(Y+0)
    • Bracket signifies multiplication, so BOTH operator changes apply:
    X(Y+0)    X+Y1X(Y+0) \;\Rightarrow\; X + Y\cdot1.
  4. (Instructor’s spoken but ambiguous) “Y + 0 becomes 1” – flagged as a remark from the video; algebraically, strict dual of Y+0Y+0 should be Y1Y\cdot1, but transcript claims it collapses to 11.

Practical / Ethical Notes & Miscellaneous Remarks

  • Instructor repeatedly stresses the binary nature: “Only two numbers are permitted—zeros and ones.”
  • Truth-table construction tip: use the 1,2,4,81,2,4,8 (powers of 2) counting pattern for columns when more than one variable is present.
  • Real-world relevance: These algebraic laws underpin the design of digital circuits, optical switch networks, and logical control systems.
  • Homework prompt (from video): Prepare and submit additional dual-form exercises for lecturer review.

Quick Reference – Identities & Laws Mentioned

  • Complement: A=A\overline{\overline{A}} = A (double negation)
  • Domination: A+1=1,  A0=0A + 1 = 1,\; A\cdot0 = 0
  • Identity: A+0=A,  A1=AA + 0 = A,\; A\cdot1 = A
  • Distributive: A(B+C)=AB+ACA(B+C)=AB+AC and (dual) A+(BC)=(A+B)(A+C)A+(BC)=(A+B)(A+C)
  • De Morgan: AB=A+B,  A+B=AB\overline{A\cdot B}=\overline{A}+\overline{B},\; \overline{A+B}=\overline{A}\cdot\overline{B} (implicitly touched via NAND/NOR discussion).

Study Pointers Moving Forward

  • Practise drawing 2-, 3- and 4-variable truth tables quickly; the 2n2^n rule dictates row count.
  • Memorise core gates, their symbols, and corresponding Boolean expressions (AND, OR, NOT, NAND, NOR, XOR).
  • Use duality to check work: create dual, simplify, verify against expected forms.
  • Anticipate continuation into Topic 3 covering “SETS and SUBMATION” (per lecturer announcement).