3.1.7 · Hardware › Boolean Algebra & Logic Gates
Boolean algebra true/false ki algebra hai (1 aur 0). Jaise ordinary algebra mein aap
a + b = b + a likh sakte ho, Boolean algebra mein bhi aise laws hain jo aapko logic expressions
ko rearrange aur regroup karne dete hain bina unka computation badle. Ye teen laws —
commutative, associative, distributive — "furniture move karne" ke rules hain: ye ek bekar-sa
circuit leke usse ek saste circuit mein badal dete hain jo bilkul wahi kaam karta hai.
WHY care? Kam gates = sasta, fast, aur kam heat produce karne wala hardware. Har
simplification aap karte ho wo physically ek chip se transistors hata deta hai.
A ⋅ B (ya A B ) matlab AND — output 1 sirf tab jab dono 1 hon.
A + B matlab OR — output 1 agar kam se kam ek 1 ho.
A matlab NOT — bit ko flip karo.
Values sirf ==0 aur 1 == hain (2 nahi hai, − 1 nahi hai).
Definition AND/OR ke do "operations" jo hum follow karte hain
A ⋅ B = min ( A , B ) A + B = max ( A , B )
Yahi secret engine hai. AND "chhota lo" jaisa behave karta hai, OR "bada lo" jaisa. Neeche
diye har law ko inhi do facts se prove kiya ja sakta hai.
WHY yeh sach hai: max ( A , B ) = max ( B , A ) aur min ( A , B ) = min ( B , A ) . Do numbers ko swap karne
se yeh nahi badlta ki kaun bada hai ya kaun chhota.
HOW prove karein — truth table (Derivation from scratch):
A
B
A + B
B + A
0
0
0
0
0
1
1
1
1
0
1
1
1
1
1
1
Columns A + B aur B + A identical hain → law prove ho gayi. Yahi trick AND ke liye bhi kaam karti hai.
Worked example Ise use karna
Simplify karo B ⋅ A + A ⋅ C .
Step: B ⋅ A = A ⋅ B likh do. Kyun? Commutative — isse common A align ho jaata hai.
Result: A ⋅ B + A ⋅ C , ab A ek obvious common factor hai (aage distributive ke liye zaroori).
Grouping (brackets) matter nahi karti ek hi operation ki chain ke liye.
( A + B ) + C = A + ( B + C ) ( A ⋅ B ) ⋅ C = A ⋅ ( B ⋅ C )
WHY yeh sach hai: max ( max ( A , B ) , C ) = max ( A , B , C ) = max ( A , max ( B , C )) . Teen numbers ka
maximum same rehta hai chahe aap pehle kisi bhi pair ko compare karo.
HOW — truth table ka ek row verify karein:
Lo A = 1 , B = 0 , C = 0 .
( A + B ) + C = ( 1 + 0 ) + 0 = 1 + 0 = 1
A + ( B + C ) = 1 + ( 0 + 0 ) = 1 + 0 = 1 ✓
Worked example Hardware ko kyun fark padta hai
3-input OR gate = ek gate. Lekin agar aapke paas sirf 2-input OR gates hain, to associativity
kehti hai aap ise OR(OR(A,B),C) ya OR(A,OR(B,C)) se bana sakte ho — dono ka output
identical hai, to aap jo bhi wiring convenient ho wo chuno. Yeh step kyun? Law guarantee
karta hai ki dono builds logically equal hain, isliye aap layout optimize karne ke liye free ho.
Definition Distributive (do forms!)
A ⋅ ( B + C ) = A ⋅ B + A ⋅ C (AND over OR — normal algebra jaisa hi)
A + ( B ⋅ C ) = ( A + B ) ⋅ ( A + C ) (OR over AND — yeh Boolean wala "ajeeb" hai)
WHY pehla sach hai (Feynman-style): "A AND (B ya C)" tab fire karta hai jab A on ho aur
kam se kam ek B , C on ho. Yahi exactly "(A aur B ) ya (A aur C )" hai. OR ko A ke across
split karna matlab nahi badlta.
HOW — doosra prove karein (jo logon ko confuse karta hai) truth table se:
A
B
C
B ⋅ C
A + ( B ⋅ C )
A + B
A + C
( A + B ) ( A + C )
0
0
0
0
0
0
0
0
0
0
1
0
0
0
1
0
0
1
0
0
0
1
0
0
0
1
1
1
1
1
1
1
1
0
0
0
1
1
1
1
1
0
1
0
1
1
1
1
1
1
0
0
1
1
1
1
1
1
1
1
1
1
1
1
Columns A + ( B ⋅ C ) aur ( A + B ) ( A + C ) har row mein match karte hain → law from scratch prove ho gayi.
Worked example Poora simplification chain
Simplify karo A ⋅ B + A ⋅ C .
A ⋅ B + A ⋅ C = A ⋅ ( B + C ) . Kyun? Distributive (ulti direction = factoring).
Gate count: LEFT ko 2 AND + 1 OR = 3 gates chahiye. RIGHT ko 1 OR + 1 AND = 2 gates chahiye.
Same truth table, ek gate kam → sasta chip. Yahi poora point hai.
A + ( B ⋅ C ) = ( A + B ) ⋅ C " — doosra A drop kar dena
Kyun sahi lagta hai: Ordinary algebra mein aap sirf ek taraf distribute karte ho, isliye
students ek copy ki aadat copy kar lete hain. Fix: Boolean OR-over-AND mein, A dono
brackets mein aana chahiye: A + B C = ( A + B ) ( A + C ) . A = 1 , B = 0 , C = 0 se test karo: sahi form 1
deta hai, galat form ( 1 + 0 ) ⋅ 0 = 0 deta hai. Mismatch prove karta hai yeh galat hai.
Common mistake Yeh sochna ki associativity AND aur OR mix karti hai
Kyun sahi lagta hai: "Grouping matter nahi karti" universal lagti hai. Fix: Associativity
sirf ek hi operator ke andar hold karti hai. ( A + B ) ⋅ C = A + ( B ⋅ C ) generally —
aap operators cross kar rahe ho, isliye distributive law chahiye, associative nahi.
Common mistake Yeh assume karna ki
A + B = B + A ka matlab circuits physically identical hain
Kyun sahi lagta hai: Logically dono equal hain. Fix: Logically haan, lekin wire delays
aur layout alag ho sakte hain. Commutativity sirf same output value guarantee karti hai,
identical timing nahi.
Recall Feynman: ek 12-saal ke bachche ko samjhao
Socho do light switches hain. Commutative: Koi fark nahi padta ki aap kaunsa switch "pehla"
bolte ho — switch-A-phir-B ya switch-B-phir-A flip karna same light deta hai. Associative:
Agar teen doston ko SABHON ko agree karna ho (AND) park jaane ke liye, to koi fark nahi padta
ki pehle do decide karein ya baad ke do — phir bhi teeno ko haan kehna padega. Distributive:
"Main cake khaaunga agar (party ho) AND (chocolate OR vanilla ho)" yahi hai jaise "(party aur
chocolate) OR (party aur vanilla)". Same rules, bas do tarah likhe gaye — aur chhota wala choose
karna matlab factory machine ko kam parts se bana sakti hai.
"COMmute = seats badlo, ASsociate = doston ko re-group karo, DIStribute = sabko share karo."
Tricky OR-form ke liye: "OR distribute karta hai aur duplicate karta hai" — akela term
dono brackets mein copy ho jaata hai.
Recall Answers dhako aur unhe zor se bolo
AND ke liye commutative law batao.
Kya ( A ⋅ B ) ⋅ C = A ⋅ ( B ⋅ C ) ? Kaun sa law?
A + B C ko product-of-sums form mein likho.
A ⋅ B + A ⋅ C simplify karo aur count karo kitne gates bache.
Commutative law (OR form) A + B = B + A — operands ka order result nahi badlta.
Commutative law (AND form) A ⋅ B = B ⋅ A .
Associative law (AND) ( A ⋅ B ) ⋅ C = A ⋅ ( B ⋅ C ) — same operator ki grouping matter nahi karti.
Distributive law (AND over OR) A ( B + C ) = A B + A C , ordinary algebra jaisa hi.
Distributive law (OR over AND) A + B C = ( A + B ) ( A + C ) — akela term dono brackets mein duplicate ho jaata hai.
Why does A + B C = ( A + B ) ( A + C ) hold? ( A + B ) ( A + C ) = A + A C + A B + B C expand karo, A ⋅ A = A aur 1 + X = 1 use karke A + B C par collapse karo.
Gates saved by factoring A B + A C → A ( B + C ) 3 gates (2 AND + 1 OR) se 2 gates (1 AND + 1 OR) ho jaate hain.
Kya associativity AND aur OR mix karne deti hai? Nahi — yeh sirf same operator ke andar apply hoti hai; operators cross karne ke liye distributive chahiye.
A ⋅ B aur A + B ka underlying meaningmin ( A , B ) aur max ( A , B ) — har law min/max properties se follow karti hai.
A + B C ki common galat distribution( A + B ) ⋅ C likhna; sahi hai ( A + B ) ( A + C ) — A do baar aana chahiye.
Boolean Algebra Identity & Null Laws (upar ke proofs mein A ⋅ A = A , 1 + X = 1 use hota hai)
De Morgan's Theorems (in laws ke baad simplification ka agla tool)
Logic Gates AND OR NOT (⋅ , + , A ka physical matlab)
Karnaugh Maps (visual method jo distributive factoring automate karta hai)
Combinational Circuit Simplification (jahan kam gates = payoff milta hai)