3.1.9Boolean Algebra & Logic Gates

Sum of products (SOP) form

1,716 words8 min readdifficulty · medium5 backlinks

WHAT is SOP?

  • Sum = OR (++), because OR behaves like addition in Boolean algebra.
  • Product = AND (\cdot), because AND behaves like multiplication.

WHY does SOP work? (first principles)

A minterm is a row-detector. Consider variables A,B,CA,B,C and the row A=1,B=0,C=1A=1, B=0, C=1.

Build the product ABˉCA\bar{B}C:

  • It equals 1 only when A=1A=1 (so A=1A=1 ✓), Bˉ=1\bar B=1 (so B=0B=0 ✓), C=1C=1 ✓.
  • For any other combination at least one literal is 0, so the AND is 0.

So each minterm outputs 1 for exactly one input row and 0 everywhere else.

Now OR together the minterms of all rows where F=1F=1. Because OR gives 1 if any term is 1:

  • On a "F=1F=1" row → its own minterm fires → output 1. ✓
  • On a "F=0F=0" row → no minterm fires → output 0. ✓

This reproduces the truth table exactly. That is the proof that every Boolean function has an SOP form.


HOW to construct SOP — step by step

Method: for each row with output 1, write the minterm (0 → complement, 1 → true), then OR them.

Figure — Sum of products (SOP) form

Common Mistakes (Steel-manned)


Active Recall

Recall Answer before revealing
  1. What is the outer operation in SOP? → OR (sum).
  2. When do you complement a variable in a minterm? → When it is 0 in that row.
  3. Why does ORing minterms recreate the truth table? → Each minterm fires on exactly one 1-row, OR keeps output 1 there, 0 elsewhere.
  4. Canonical vs simplified SOP? → Canonical uses full minterms (all variables); simplified may drop variables.
Recall Feynman: explain to a 12-year-old

Imagine a light that should turn ON for certain button combos. For each ON combo you make a tiny rule: "this button pressed AND that button not pressed AND…" — a rule that shouts "1!" only for its own exact combo. Then you say: light is ON if rule 1 OR rule 2 OR rule 3 shouts. You just listed all the winning combos and joined them with OR. That whole sentence is the SOP form.


Flashcards

SOP stands for and means
Sum of Products — an OR of AND terms (sum = OR, product = AND).
In SOP, the outer/joining operator is
OR (++).
A minterm is
a product term containing every variable exactly once, true or complemented.
Rule for complementing a variable in a minterm
complement it if the variable is 0 in that row, keep plain if 1.
Why ORing minterms reproduces the truth table
each minterm is 1 on exactly one input row and 0 elsewhere; OR keeps 1 on those rows, 0 on the rest.
Canonical SOP vs simplified SOP
canonical uses full minterms (all variables present); simplified may remove variables via Boolean algebra.
Convert F = A(B + C̄) to SOP
distribute: AB + AC̄.
Difference between SOP and POS
SOP = OR of ANDs (list output-1 rows); POS = AND of ORs (list output-0 rows).
In Boolean algebra 1 + 1 equals
1 (OR), not 2.
Trick to expand a term missing a variable to canonical
multiply by (X + X̄) = 1 to introduce the missing variable X.

Connections

Concept Map

rows where F=1

each row becomes

contains every var once

ANDed together

ORed together

is a special

Sum equals OR

Product equals AND

fires on exactly one row

proves

Boolean laws

fewer gates same output

Truth table

Winning rows

Minterm

Canonical SOP

Literal true or bar

Product term AND

SOP form

OR operation

AND operation

Reproduces truth table

Every function has SOP

Simplified expression

Cheaper circuit

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, SOP ka matlab hai Sum of Products — yaani ANDs ko OR karke jodna. Yaad rakho: Boolean me "+" ka matlab OR hota hai aur "·" ka matlab AND. Kaam bilkul simple hai — truth table me jahan-jahan output 1 aata hai, sirf un rows ko utha lo. Baaki 0 wali rows ko chhod do.

Har winning row ke liye ek product term (minterm) banao. Rule fixed hai: agar us row me variable 0 hai to uspe bar (complement) lagao, agar 1 hai to plain likho. Kyun? Kyunki aisa product sirf usi exact row par 1 dega, baaki har jagah 0. Fir sab minterms ko OR se jod do. OR ka nature hai — koi bhi ek 1 ho to output 1. Isse aapka poora truth table wapas ban jaata hai. Yahi proof hai ki har Boolean function ko SOP me likha ja sakta hai.

Exam aur real hardware dono me ye important hai: SOP ko seedha AND gates + ek OR gate se banate hain. Baad me Boolean laws (distribution, absorption, A+Aˉ=1A+\bar A=1) ya Karnaugh map se simplify karke gates kam kar dete ho — same output, kam cost. Bas dhyan rakho SOP (OR of ANDs, 1-rows) aur POS (AND of ORs, 0-rows) ko mix mat karna, aur "1+1=11+1=1" bhoolna mat!

Go deeper — visual, from zero

Test yourself — Boolean Algebra & Logic Gates

Connections