Theory
Engineers formula क्यों छोटा करते हैं
मान लीजिए 2 circuits हैं, दोनों बिल्कुल एक ही काम करते हैं। एक में 5 gates लगे हैं, दूसरे में सिर्फ 2। अब सोचिए, 2-gate वाला version सस्ता भी है, तेज़ भी है और कम गरम भी होता है, सच में: कम gates मतलब कम power जलेगी।
दोनों एक ही Boolean function से बने थे; बस किसी ने wiring करने से पहले expression को minimize कर दिया।
तो हमारा आज का topic यही है: function लिखने के standard तरीके, और वो laws जिनसे हम expression को छोटा कर सकते हैं बिना उसका काम बदले।
Theory
अलग अलग रास्ते, एक ही मंज़िल
Expressions को रास्ते समझिए, और function को मंज़िल। A·B + A·B·C और सीधा-सादा A·B, ये हर input के लिए बिल्कुल एक ही output देते हैं, जैसे एक घुमावदार गली और एक highway, दोनों जाकर उसी office पर खत्म होती हैं। Minimization का मतलब है highway चुनना। Truth table (यानी मंज़िल) कभी नहीं बदलती।
Theory
2 standard रूप: SOP और POS
- SOP (sum of products): AND terms का OR, जैसे A·B + ¬A·C। इसके canonical version में minterms होते हैं: हर term में सारे variables आते हैं, और output जहाँ 1 है उस हर row के लिए एक term।
- POS (product of sums): OR terms का AND, जैसे (A + B)(¬A + C)। Canonical POS में maxterms होते हैं, output जहाँ 0 है उस हर row के लिए एक।
एक आसान तरीका याद रखिए: table में 1 कम हों तो SOP छोटा बनेगा; 0 कम हों तो POS छोटा बनेगा।
Quiz
इनमें से कौन सा SOP (sum of products) form में है?
- (A + B)·(A + C)
- A·B + ¬A·C
- ¬(A·B + C)
- A + (B·(C + A))
Show the answer
A·B + ¬A·C
SOP का मतलब है AND terms जो सबसे ऊपर OR से जुड़े हों: A·B + ¬A·C बिल्कुल यही है। Option A तो POS है (OR terms जो AND से जुड़े हैं)। Option C में पूरे expression के ऊपर complement लगा है, और option D में एक sum को product के अंदर nest किया गया है, तो ये दोनों standard form नहीं हैं।
Theory
एक solved minimization, हर law का नाम लेकर
चलिए F = A·B + A·B·C को simplify करते हैं।
1. Factor करिए common A·B को (distributive law): F = A·B(1 + C)
2. Domination: 1 + C = 1
3. Identity: A·B·1 = A·B
तो F = A·B। यहाँ C वाला term तो बस सजावट थी: जब भी A·B·C 1 होता है, तब A·B तो पहले से ही 1 था। ये pattern, X + X·Y = X, इतना common है कि इसका अपना नाम है: absorption law।
Think first
G = (A + B)(A + ¬B) को laws लगाकर simplify करिए।
पहले मन ही मन distribution try करिए: multiply करके खोलिए, जो impossible term है उसे हटाइए, फिर tap कीजिए।
Show the answer
Multiply करके खोलिए (distributive): G = A·A + A·¬B + B·A + B·¬B
= A + A·¬B + A·B + 0 (idempotent A·A = A; complement B·¬B = 0)
= A(1 + ¬B + B) = A·1 = A
एक shortcut याद रखने लायक है: (X + Y)(X + ¬Y) हमेशा सिकुड़कर X बन जाता है। Y वाला हिस्सा खुद ही cancel हो जाता है।
Theory
Minimizer का toolbox
BCA level की almost सारी minimization ये 6 laws से हो जाती है:
- Idempotent: A + A = A, A·A = A
- Complement: A + ¬A = 1, A·¬A = 0
- Identity / domination: A + 0 = A, A·1 = A, A + 1 = 1, A·0 = 0
- Distributive: factor करना या expand करना
- Absorption: A + A·B = A
- De Morgan's: ¬(A·B) = ¬A + ¬B और ¬(A + B) = ¬A·¬B, complement को अंदर ले जाने के लिए
हर step पर law का नाम लिखिए; examiner हर named step पर marks देते हैं।
Quiz
F = X + X·Y + X·Z को simplify करिए।
- X·(Y + Z)
- X + Y + Z
- X
- X·Y·Z
Show the answer
X
Absorption 2 बार लगाइए: X + X·Y = X, फिर X + X·Z = X। जब भी X·Y या X·Z 1 होता है, तब X खुद पहले से ही 1 होता है, तो ये extra terms कुछ add नहीं करते। Option A में अकेला X वाला term भूल गए, और option B गलती से Y और Z को अलग independent conditions बना देता है।
Watch out
2 chupe हुए killers
पहला: complement को distribute करते वक्त operation flip करना भूल जाना। ¬(A·B) होता है ¬A + ¬B, कभी भी ¬A·¬B नहीं; De Morgan's में flip ज़रूरी है। दूसरा: "simplify" करते करते किसी दूसरे ही function में पहुँच जाना। जब confusion हो, तो एक input row लेकर original expression से check कर लीजिए; equivalent expressions को हर row पर एक जैसा जवाब देना ही चाहिए।
Theory
ये आपको आगे कहाँ फिर मिलेगा
Compilers आपकी if-conditions को इन्हीं laws से minimize करते हैं, और आगे के semesters में आपको Karnaugh map मिलेगा, एक visual grid जो यही minimization आँखों से ही कर देता है। अगला topic आज के इस toolbox को पूरा end to end लगाता है: एक sentence से असली circuit design करना।
Summary
Key takeaways
- SOP यानी AND terms का OR (minterms 1-rows को cover करते हैं); POS यानी OR terms का AND (maxterms 0-rows को cover करते हैं)।
- Minimization expression को छोटा करती है बिना truth table बदले: कम literals, कम gates।
- मुख्य toolbox: idempotent, complement, identity, domination, distributive, absorption, De Morgan's।
- बार बार काम आने वाले shortcuts: X + X·Y = X और (X + Y)(X + ¬Y) = X।
- याद रखने का hook: table वही, formula छोटा।