Chapterبەش 7 · Lectureوانە 7.2

The 12 Rules of Boolean Algebraدوازدە یاساکەی جەبری بوول

Twelve short rules for simplifying Boolean expressions — a variable with 0 and 1, with itself and with its complement, the double complement, and the three two-variable rules A+AB=AA + AB = A, A+A‾B=A+BA + \overline{A}B = A + B and (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC — each drawn as gates and proved with a truth table, including the course author's two proofs of rule 11.

دوازدە یاسای کورت بۆ سادەکردنەوەی — لەگەڵ 0 و 1، لەگەڵ خۆی و لەگەڵ ، دوو جار و سێ یاسا A+AB=AA + AB = A، A+A‾B=A+BA + \overline{A}B = A + B و (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC — هەر یەکەیان وەک کێشراوە و بە سەلمێنراوە، لەگەڵ هەردوو خاوەنی کۆرسەکە بۆ یاسای ⁦11⁩.

13 min read15 خولەک خوێندنەوە · 14 stepsهەنگاو

What you will learnچی فێر دەبیت

  • State the twelve rules and recognise which one is used in a step.
  • Explain rules 1–9 with gates whose inputs are fixed or tied together.
  • Prove rules 10, 11 and 12 with a truth table and with algebra.
  • Use the rules to simplify short expressions.
  • دوازدە یاساکە بڵێیت و بناسیتەوە کام یەکیان لە هەنگاوێکدا بەکار هاتووە.
  • یاساکانی ⁦1–9⁩ بە ڕوون بکەیتەوە کە یەکێک لە جێگیرە یان پێکەوە بەستراون.
  • یاساکانی ⁦10⁩، ⁦11⁩ و ⁦12⁩ بە و بە جەبر بسەلمێنیت.
  • یاساکان بۆ سادەکردنەوەی کورت بەکار بهێنیت.

Twelve rules at a glanceدوازدە یاساکە بە یەک سەیرکردن

Besides the three laws of the last lesson, Boolean algebra has twelve short rules that we use again and again to simplify expressions. Rules 1–9 involve a single variable (and 0, 1 or its complement); rules 10–12 involve two or three variables. Every one of them can be checked with a small truth table, and this lesson does exactly that.

جگە لە سێ یاساکەی وانەی پێشوو، دوازدە یاسای کورتی هەیە کە بۆ دووبارە و دووبارە بەکاریان دەهێنین. یاساکانی ⁦1–9⁩ تەنها یەک تێدایە (لەگەڵ 0، 1 یان )؛ یاساکانی ⁦10–12⁩ دوو یان سێ تێدایە. هەموویان دەتوانرێت بە بچووک بپشکنرێن و ئەم وانەیە ڕێک ئەوە دەکات.

The twelve rules (names added; the slides number them 1–12)دوازدە یاساکە (ناوەکان زیاد کراون؛ سلایدەکان ژمارەی ⁦1–12⁩ـیان پێداون)
RuleیاساFormulaفۆرمولاCommon nameناوی باوIn wordsبە وشە
1A+0=AA + 0 = Aidentity (OR)دانەی بێلایەن ⁦(OR)⁩OR with 0 changes nothingOR لەگەڵ 0 هیچ ناگۆڕێت
2A+1=1A + 1 = 1null / dominance (OR)زاڵبوون ⁦(OR)⁩OR with 1 is always 1OR لەگەڵ 1 هەمیشە 1ـە
3A⋅0=0A \cdot 0 = 0null / dominance (AND)زاڵبوون ⁦(AND)⁩AND with 0 is always 0AND لەگەڵ 0 هەمیشە 0ـە
4A⋅1=AA \cdot 1 = Aidentity (AND)دانەی بێلایەن ⁦(AND)⁩AND with 1 changes nothingAND لەگەڵ 1 هیچ ناگۆڕێت
5A+A=AA + A = Aidempotent (OR) ⁦(OR)⁩a variable ORed with itself OR لەگەڵ خۆی
6A+A‾=1A + \overline{A} = 1complement (OR)تەواوکاری ⁦(OR)⁩one of A and A‾\overline{A} is always 1یەکێک لە A و A‾\overline{A} هەمیشە 1ـە
7A⋅A=AA \cdot A = Aidempotent (AND) ⁦(AND)⁩a variable ANDed with itself AND لەگەڵ خۆی
8A⋅A‾=0A \cdot \overline{A} = 0complement (AND)تەواوکاری ⁦(AND)⁩one of A and A‾\overline{A} is always 0یەکێک لە A و A‾\overline{A} هەمیشە 0ـە
9A‾‾=A\overline{\overline{A}} = Adouble complementدوو جار پێچەوانەکردنەوەNOT twice gives A backدوو جار NOT، A دەگەڕێنێتەوە
10A+AB=AA + AB = AabsorptionهەڵمژینA swallows the term ABA بڕی AB هەڵدەمژێت
11A+A‾B=A+BA + \overline{A}B = A + B— (a complement drops out)— (تەواوکەرێک لادەچێت)the A‾\overline{A} in front of B is not neededA‾\overline{A}ـی پێش B پێویست نییە
12(A+B)(A+C)=A+BC(A + B)(A + C) = A + BCsecond distributive law دووەمOR distributes over ANDOR بەسەر ANDـدا دابەش دەبێت
Quick checkپشکنینی خێراWhich rule says A⋅1=AA \cdot 1 = A?کام یاسا دەڵێت A⋅1=AA \cdot 1 = A؟

Rules 1 and 2: OR with 0 or 1یاساکانی 1 و ⁦2: OR⁩ لەگەڵ 0 یان 1

Picture an OR gate whose lower input is wired to a fixed value. Rule 1, A+0=AA + 0 = A: if the fixed input is 0, the output simply follows A — when A is 1 the output is 1, when A is 0 the output is 0. Rule 2, A+1=1A + 1 = 1: if the fixed input is 1, the output is 1 whatever A does, because one HIGH input is enough for OR.

بهێنە پێش چاوت کە خوارەوەی بە نرخێکی جێگیرەوە بەستراوە. یاسای 1، A+0=AA + 0 = A: ئەگەر جێگیرەکە 0 بێت، تەنها شوێن A دەکەوێت — کاتێک ⁦A 1⁩ـە 1ـە و کاتێک ⁦A 0⁩ـە 0ـە. یاسای 2، A+1=1A + 1 = 1: ئەگەر جێگیرەکە 1 بێت، 1ـە A هەرچی بکات، چونکە یەک HIGH بۆ OR بەسە.

Four cards. Rule 1: an OR gate with inputs A and a fixed 0; output X = A (A = 0 gives 0, A = 1 gives 1). Rule 2: an OR gate with A and a fixed 1; X is 1 for both values of A. Rule 3: an AND gate with A and a fixed 0; X is 0 for both values of A. Rule 4: an AND gate with A and a fixed 1; X = A.چوار کارت. یاسای 1: گەیتێکی OR بە نێوخستەکانی A و 0ـێکی جێگیر؛ X = A (A = 0 دەبێتە 0، A = 1 دەبێتە 1). یاسای 2: گەیتێکی OR بە A و 1ـێکی جێگیر؛ X بۆ هەردوو نرخی A 1ـە. یاسای 3: گەیتێکی AND بە A و 0ـێکی جێگیر؛ X بۆ هەردوو نرخی A 0ـە. یاسای 4: گەیتێکی AND بە A و 1ـێکی جێگیر؛ X = A.
Rules 1–4 as gates with one input fixed.یاساکانی ⁦1–4⁩ وەک کە یەکێک لە جێگیرە.CêIT
The classroom master switchسویچی سەرەکیی پۆل

A classroom light is wired so that it is on if the teacher's master switch or the student's switch is on. If the master switch is off (0), the light simply follows the student's switch (rule 1). If the master switch is on (1), the light is on no matter what the student does (rule 2).

گڵۆپی پۆلێک بە شێوەیەک بەستراوە کە هەڵدەبێت ئەگەر سەرەکیی مامۆستا یان قوتابی هەڵکرابێت. ئەگەر سەرەکی کوژاوە بێت ⁦(0)⁩، گڵۆپەکە تەنها شوێن قوتابی دەکەوێت (یاسای ⁦1⁩). ئەگەر سەرەکی هەڵکرابێت ⁦(1)⁩، گڵۆپەکە هەڵکراوە قوتابی هەرچی بکات (یاسای ⁦2⁩).

Where the analogy stops workingسنووری ئەم نموونەیە

Real wiring uses relays and safety rules; the analogy only shows the OR behaviour.

بەستنی ڕاستەقینە ڕیلە و یاسای سەلامەتی بەکار دەهێنێت؛ ئەم بەراوردە تەنها ڕەفتاری OR پیشان دەدات.

Quick checkپشکنینی خێراSimplify B‾+1\overline{B} + 1.B‾+1\overline{B} + 1 سادە بکەرەوە.

Logic Gates, Truth Tables, Boolean Algebra AND, OR, NOT, NAND & NORThe Organic Chemistry Tutor · Englishئینگلیزی · 3.2M viewsبینین · 51K likesلایک · Partبەشی 49:17–52:16 (ofلە 54:07)

Draws AND-OR and OR-AND circuits from SOP and POS expressions, classifies expressions by form, and shows the identity and null rules with an OR gate.

لە SOP و POSـەوە ⁦AND-OR⁩ و ⁦OR-AND⁩ دەکێشێت، بە پێی شێوە پۆلێن دەکات و و a+1=1a + 1 = 1 بە OR پیشان دەدات.

49:17-52:16: identity rule (a + 0 = a, a·1 = a), then the null rule a + 1 = 1 with an OR gate and its truth table, and a·0 = 0.

لە ⁦49:17⁩ تا ⁦52:16⁩: (a+0=aa + 0 = a، a⋅1=aa \cdot 1 = a)، پاشان یاسای a+1=1a + 1 = 1 بە و ، هەروەها a⋅0=0a \cdot 0 = 0.

Rules 3 and 4: AND with 0 or 1یاساکانی 3 و ⁦4: AND⁩ لەگەڵ 0 یان 1

Now fix one input of an AND gate. Rule 3, A⋅0=0A \cdot 0 = 0: a 0 on any AND input makes the output 0, whatever the other input is. Rule 4, A⋅1=AA \cdot 1 = A: with a 1 on the fixed input, the output follows A — 0 when A is 0, and 1 when A is 1 because then both inputs are 1.

ئێستا یەکێک لە جێگیر بکە. یاسای 3، A⋅0=0A \cdot 0 = 0: 0 لەسەر هەر AND دەکاتە 0، تر هەرچییەک بێت. یاسای 4، A⋅1=AA \cdot 1 = A: بە 1 لەسەر جێگیرەکە، شوێن A دەکەوێت — کاتێک ⁦A 0⁩ـە 0 و کاتێک ⁦A 1⁩ـە 1، چونکە ئەو کاتە هەردوو 1ـن.

This is exactly how an AND gate works as an on/off gate: an enable input of 1 lets the signal through (rule 4), and an enable of 0 blocks it (rule 3).

ئەمە ڕێک ئەو شێوەیەیە کە گەیتی AND وەک دەرگای هەڵکردن/کوژاندنەوە کار دەکات: enable بە 1 ڕێگە بە دەدات تێبپەڕێت (یاسای ⁦4⁩) و enable بە 0 ڕێگەی لێ دەگرێت (یاسای ⁦3⁩).

Quick checkپشکنینی خێراA circuit computes X=(C+D)⋅0X = (C + D) \cdot 0. What is X?سووڕێک X=(C+D)⋅0X = (C + D) \cdot 0 دەدۆزێتەوە. X چییە؟

Rules 5 and 6: A with itself or its complement (OR)یاساکانی 5 و ⁦6: A⁩ لەگەڵ خۆی یان تەواوکەرەکەی ⁦(OR)⁩

Rule 5, A+A=AA + A = A: if both OR inputs carry the same variable, the output equals that variable: 0+0=00 + 0 = 0 and 1+1=11 + 1 = 1. Rule 6, A+A‾=1A + \overline{A} = 1: a variable ORed with its complement is always 1. If A=0A = 0, then 0+0‾=0+1=10 + \overline{0} = 0 + 1 = 1; if A=1A = 1, then 1+1‾=1+0=11 + \overline{1} = 1 + 0 = 1. One of the two inputs is always 1.

یاسای 5، A+A=AA + A = A: ئەگەر هەردوو OR هەمان هەڵبگرن، یەکسانە بەو : 0+0=00 + 0 = 0 و 1+1=11 + 1 = 1. یاسای 6، A+A‾=1A + \overline{A} = 1: OR لەگەڵ هەمیشە 1ـە. ئەگەر A=0A = 0 بێت، 0+0‾=0+1=10 + \overline{0} = 0 + 1 = 1؛ ئەگەر A=1A = 1 بێت، 1+1‾=1+0=11 + \overline{1} = 1 + 0 = 1. یەکێک لە دوو هەمیشە 1ـە.

Animation. Input A switches between 0 and 1. A NOT gate makes A-bar, which is always the opposite. A and A-bar feed an OR gate, whose lamp stays on in every frame (A + A-bar = 1), and an AND gate, whose lamp stays off in every frame (A · A-bar = 0).
Animation. Input A switches between 0 and 1. A NOT gate makes A-bar, which is always the opposite. A and A-bar feed an OR gate, whose lamp stays on in every frame (A + A-bar = 1), and an AND gate, whose lamp stays off in every frame (A · A-bar = 0).
Rules 6 and 8: A changes, but A+A‾A + \overline{A} stays 1 and A⋅A‾A \cdot \overline{A} stays 0.یاساکانی 6 و ⁦8: A⁩ دەگۆڕێت، بەڵام A+A‾A + \overline{A} بە 1 و A⋅A‾A \cdot \overline{A} بە 0 دەمێنێتەوە.CêIT
Quick checkپشکنینی خێراSimplify CD‾+CD‾‾C\overline{D} + \overline{C\overline{D}}.CD‾+CD‾‾C\overline{D} + \overline{C\overline{D}} سادە بکەرەوە.

Rules 7 and 8: A with itself or its complement (AND)یاساکانی 7 و ⁦8: A⁩ لەگەڵ خۆی یان تەواوکەرەکەی ⁦(AND)⁩

Rule 7, A⋅A=AA \cdot A = A: 0⋅0=00 \cdot 0 = 0 and 1⋅1=11 \cdot 1 = 1, so ANDing a variable with itself gives the variable. There are no powers in Boolean algebra: AAAA is just A, never “A squared”. Rule 8, A⋅A‾=0A \cdot \overline{A} = 0: either A or A‾\overline{A} is 0, and a 0 on an AND input makes the output 0.

یاسای 7، A⋅A=AA \cdot A = A: 0⋅0=00 \cdot 0 = 0 و 1⋅1=11 \cdot 1 = 1، بۆیە AND کردنی لەگەڵ خۆی هەمان دەدات. لە توان نییە: AAAA تەنها Aـیە، هەرگیز «A دووجا» نییە. یاسای 8، A⋅A‾=0A \cdot \overline{A} = 0: یان A یان A‾\overline{A} 0ـە و 0 لەسەر AND دەکاتە 0.

Four cards. Rule 5: A feeds both inputs of an OR gate; X = A. Rule 6: A and its inverted copy feed an OR gate; X = 1 for both values of A. Rule 7: A feeds both inputs of an AND gate; X = A. Rule 8: A and its inverted copy feed an AND gate; X = 0 for both values of A.چوار کارت. یاسای 5: A دەچێتە هەردوو نێوخستەی گەیتێکی OR؛ X = A. یاسای 6: A و کۆپییە پێچەوانەکراوەکەی دەچنە ناو گەیتێکی OR؛ X بۆ هەردوو نرخی A 1ـە. یاسای 7: A دەچێتە هەردوو نێوخستەی گەیتێکی AND؛ X = A. یاسای 8: A و کۆپییە پێچەوانەکراوەکەی دەچنە ناو گەیتێکی AND؛ X بۆ هەردوو نرخی A 0ـە.
Rules 5–8 as gates.یاساکانی ⁦5–8⁩ لە .CêIT
Quick checkپشکنینی خێراSimplify B⋅B⋅B‾B \cdot B \cdot \overline{B}.B⋅B⋅B‾B \cdot B \cdot \overline{B} سادە بکەرەوە.

Rule 9: the double complementیاسای 9: دوو جار تەواوکەر

Rule 9, A‾‾=A\overline{\overline{A}} = A: complement A once and you get A‾\overline{A}; complement that again and you are back at A. In hardware, two inverters in a row cancel: a 0 becomes 1 after the first and 0 again after the second.

یاسای 9، A‾‾=A\overline{\overline{A}} = A: یەک جار A وەربگرە، A‾\overline{A} وەردەگریت؛ جارێکی تر وەربگرە، دەگەڕێیتەوە بۆ A. لە دوو بە دوای یەکدا یەکتر هەڵدەوەشێننەوە: 0 دوای یەکەمیان دەبێتە 1 و دوای دووەمیان دیسان دەبێتە 0.

Two rows, each with two NOT gates in series. Top: 0 enters, becomes 1 after the first inverter and 0 after the second. Bottom: 1 becomes 0 and then 1 again. Both rows end where they started.دوو ڕیز، هەر یەکەیان دوو گەیتی NOTـی بە دوای یەکدا. سەرەوە: 0 دەچێتە ژوورەوە، دوای پێچەوانەکەری یەکەم دەبێتە 1 و دوای دووەم دەبێتە 0. خوارەوە: 1 دەبێتە 0 و پاشان دیسان 1. هەردوو ڕیز لەو شوێنەدا کۆتاییان دێت کە دەستیان پێکرد.
Two inverters give back the original value.دوو نرخە سەرەتاییەکە دەگەڕێننەوە.CêIT

The same idea helps when reading symbols: when a bubble meets another bubble on the same wire, the two inversions cancel.

هەمان بیرۆکە لە خوێندنەوەی یارمەتی دەدات: کاتێک بە بازنەیەکی تر دەگات لەسەر هەمان وایەر، دوو پێچەوانەکردنەوەکە یەکتر هەڵدەوەشێننەوە.

Quick checkپشکنینی خێراWhat is A‾‾‾\overline{\overline{\overline{A}}} (three bars)?A‾‾‾\overline{\overline{\overline{A}}} (سێ هێڵ) چییە؟

Rule 10: A+AB=AA + AB = Aیاسای ⁦10⁩: A+AB=AA + AB = A

The slides list rules 10–12 without explaining them, so let us see why each is true. Start with the meaning of A+AB=AA + AB = A. If A=1A = 1, the left side is 1+B=11 + B = 1, which is A. If A=0A = 0, then AB=0AB = 0 too, and the left side is 0+0=00 + 0 = 0, which is A again. In both cases the answer is A, and B never matters. We say A absorbs the term AB.

سلایدەکان یاساکانی ⁦10–12⁩ بەبێ ڕوونکردنەوە ڕیز دەکەن، بۆیە با ببینین بۆچی هەر یەکێکیان ڕاستە. لە واتای A+AB=AA + AB = Aـەوە دەست پێبکە. ئەگەر A=1A = 1 بێت، لای چەپ دەبێتە 1+B=11 + B = 1 کە هەمان Aـیە. ئەگەر A=0A = 0 بێت، ABABـیش 0ـە و لای چەپ دەبێتە 0+0=00 + 0 = 0 کە دیسان هەمان Aـیە. لە هەردوو حاڵەتدا وەڵامەکە Aـیە و B هەرگیز گرنگ نییە. دەڵێین A بڕی AB هەڵدەمژێت.

Algebraic proof of rule 10سەلماندنی جەبریی یاسای ⁦10⁩
  1. A+AB=A⋅1+ABA + AB = A \cdot 1 + AB — rule 4 (write A as A⋅1A \cdot 1)

    A+AB=A⋅1+ABA + AB = A \cdot 1 + AB — یاسای ⁦4 (A⁩ وەک A⋅1A \cdot 1 بنووسە)

  2. =A(1+B)= A(1 + B) — factor out A (distributive law)

    =A(1+B)= A(1 + B) — A بەرە دەرەوە ()

  3. =A⋅1= A \cdot 1 — rule 2: 1+B=11 + B = 1

    =A⋅1= A \cdot 1 — یاسای 2: 1+B=11 + B = 1

  4. =A= A — rule 4

    =A= A — یاسای 4

Rule 10 by truth table: the last column equals the A columnیاسای ⁦10⁩ بە : ستوونی کۆتایی یەکسانە بە ستوونی A
ABABABA+ABA + AB
0000
0100
1001
1111
Left: A and B feed an AND gate; A and the AND output AB feed an OR gate whose output is A + AB — two gates. Right: the same output is just a wire from A. A note explains that B never matters.لای چەپ: A و B دەچنە ناو گەیتێکی AND؛ A و دەرخستەی AND (AB) دەچنە ناو گەیتێکی OR کە دەرخستەکەی A + ABـە — دوو گەیت. لای ڕاست: هەمان دەرخستە تەنها وایەرێکە لە Aـەوە. تێبینییەک ڕوون دەکاتەوە کە B هەرگیز گرنگ نییە.
Rule 10 removes two gates.یاسای ⁦10⁩ دوو لادەبات.CêIT
Quick checkپشکنینی خێراWhich is the dual of rule 10?دووانەی یاسای ⁦10⁩ کامەیە؟

Rule 11: A+A‾B=A+BA + \overline{A}B = A + Bیاسای ⁦11⁩: A+A‾B=A+BA + \overline{A}B = A + B

Again think it through. If A=1A = 1, both sides are 1. If A=0A = 0, then A‾=1\overline{A} = 1, so A‾B=B\overline{A}B = B and both sides equal B. So the A‾\overline{A} in front of B adds nothing and can be dropped. The course author proved this rule twice in his notes — once with a truth table and once with algebra.

دیسان بیری لێ بکەرەوە. ئەگەر A=1A = 1 بێت، هەردوو لا 1ـن. ئەگەر A=0A = 0 بێت، A‾=1\overline{A} = 1، بۆیە A‾B=B\overline{A}B = B و هەردوو لا یەکسانن بە B. کەواتە ئەو A‾\overline{A}ـەی پێش B هیچ زیاد ناکات و دەتوانرێت لابدرێت. خاوەنی کۆرسەکە لە تێبینییەکانیدا ئەم یاسایەی دوو جار سەلماند — جارێک بە و جارێک بە جەبر.

Rule 11 by truth table (the course author's note)یاسای ⁦11⁩ بە (تێبینیی خاوەنی کۆرسەکە)
ABA‾\overline{A}A‾B\overline{A}BA+A‾BA + \overline{A}BA+BA + B
001000
011111
100011
110011
The course author's algebraic proofسەلماندنی جەبریی خاوەنی کۆرسەکە
  1. A+A‾B=(A+AB)+A‾BA + \overline{A}B = (A + AB) + \overline{A}B — rule 10: replace A by A+ABA + AB

    A+A‾B=(A+AB)+A‾BA + \overline{A}B = (A + AB) + \overline{A}B — یاسای ⁦10: A⁩ بە A+ABA + AB بگۆڕە

  2. =AA+AB+A‾B= AA + AB + \overline{A}B — rule 7: write A as AA

    =AA+AB+A‾B= AA + AB + \overline{A}B — یاسای ⁦7: A⁩ وەک AA بنووسە

  3. =AA+AB+AA‾+A‾B= AA + AB + A\overline{A} + \overline{A}B — rule 8: adding AA‾=0A\overline{A} = 0 changes nothing

    =AA+AB+AA‾+A‾B= AA + AB + A\overline{A} + \overline{A}B — یاسای 8: زیادکردنی AA‾=0A\overline{A} = 0 هیچ ناگۆڕێت

  4. =(A+A‾)(A+B)= (A + \overline{A})(A + B) — factor (multiply out to check)

    =(A+A‾)(A+B)= (A + \overline{A})(A + B) — (بۆ پشکنین لێکیان بدە)

  5. =1⋅(A+B)=A+B= 1 \cdot (A + B) = A + B — rules 6 and 4

    =1⋅(A+B)=A+B= 1 \cdot (A + B) = A + B — یاساکانی 6 و 4

Quick checkپشکنینی خێراSimplify X‾+XY\overline{X} + XY.X‾+XY\overline{X} + XY سادە بکەرەوە.

Rule 12: (A+B)(A+C)=A+BC(A + B)(A + C) = A + BCیاسای ⁦12⁩: (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC

Rule 12 is the second distributive law: OR distributes over AND. It is the dual of A(B+C)=AB+ACA(B + C) = AB + AC, and it has no twin in ordinary arithmetic. Prove it by multiplying out the left side:

یاسای ⁦12⁩ دووەمە: OR بەسەر ANDـدا دابەش دەبێت. دووانەی A(B+C)=AB+ACA(B + C) = AB + ACـە و لە ژمێریاریی ئاساییدا هاوتای نییە. بە لێکدانی لای چەپ بیسەلمێنە:

Algebraic proof of rule 12سەلماندنی جەبریی یاسای ⁦12⁩
  1. (A+B)(A+C)=AA+AC+AB+BC(A + B)(A + C) = AA + AC + AB + BC — distributive law

    (A+B)(A+C)=AA+AC+AB+BC(A + B)(A + C) = AA + AC + AB + BC —

  2. =A+AC+AB+BC= A + AC + AB + BC — rule 7: AA=AAA = A

    =A+AC+AB+BC= A + AC + AB + BC — یاسای 7: AA=AAA = A

  3. =A(1+C+B)+BC= A(1 + C + B) + BC — factor A out of the first three terms

    =A(1+C+B)+BC= A(1 + C + B) + BC — A لە سێ بڕی یەکەم بەرە دەرەوە

  4. =A⋅1+BC=A+BC= A \cdot 1 + BC = A + BC — rules 2 and 4

    =A⋅1+BC=A+BC= A \cdot 1 + BC = A + BC — یاساکانی 2 و 4

Rule 12 by truth tableیاسای ⁦12⁩ بە
ABCA+BA + BA+CA + C(A+B)(A+C)(A + B)(A + C)BCBCA+BCA + BC
00000000
00101000
01010000
01111111
10011101
10111101
11011101
11111111

In circuit terms: two OR gates and an AND (left side) can be replaced by one AND and one OR (right side).

بە زمانی سووڕ: دوو و یەک AND (لای چەپ) دەتوانرێت بە یەک AND و یەک OR (لای ڕاست) بگۆڕدرێت.

Quick checkپشکنینی خێراSimplify (P+Q)(P+Q‾)(P + Q)(P + \overline{Q}).(P+Q)(P+Q‾)(P + Q)(P + \overline{Q}) سادە بکەرەوە.

Putting the rules to workبەکارهێنانی یاساکان

Simplifying means applying rules one step at a time and naming the rule each time. Two short examples:

سادەکردنەوە واتە بەکارهێنانی یاساکان هەنگاو بە هەنگاو و ناوبردنی یاساکە لە هەر هەنگاوێکدا. دوو نموونەی کورت:

A‾‾+AB+A⋅0=A+AB+A⋅0rule 9=A+AB+0rule 3=A+ABrule 1=Arule 10\begin{aligned} \overline{\overline{A}} + AB + A \cdot 0 &= A + AB + A \cdot 0 && \text{rule 9} \\ &= A + AB + 0 && \text{rule 3} \\ &= A + AB && \text{rule 1} \\ &= A && \text{rule 10} \end{aligned}

Four rules turn a three-term expression into a single wire.

چوار یاسا سێ بڕی دەکەنە تەنها یەک وایەر.

AB+AB‾=A(B+B‾)distributive=A⋅1rule 6=Arule 4\begin{aligned} AB + A\overline{B} &= A(B + \overline{B}) && \text{distributive} \\ &= A \cdot 1 && \text{rule 6} \\ &= A && \text{rule 4} \end{aligned}

Two AND gates and an OR gate disappear.

دوو و یەک نامێنن.

The next lessons of this chapter add De Morgan's theorems and then a full step-by-step strategy for longer expressions.

وانەکانی داهاتووی ئەم بەشە سەلمێنراوەکانی دی مۆرگان و پاشان ڕێگایەکی تەواوی هەنگاو بە هەنگاو بۆ درێژتر زیاد دەکەن.

Quick checkپشکنینی خێراWhich rule finishes the simplification A(B+B‾)=A⋅1=AA(B + \overline{B}) = A \cdot 1 = A?کام یاسا سادەکردنەوەی A(B+B‾)=A⋅1=AA(B + \overline{B}) = A \cdot 1 = A تەواو دەکات؟

Common mistakesهەڵە باوەکان

MistakeهەڵەWhat is rightڕاستەکەی
Mixing up rules 10 and 11: writing A+AB=A+BA + AB = A + B.تێکەڵکردنی یاساکانی ⁦10⁩ و ⁦11⁩: نووسینی A+AB=A+BA + AB = A + B.A+AB=AA + AB = A (rule 10). Only a complemented A in front of B drops out: A+A‾B=A+BA + \overline{A}B = A + B. Check A=0A = 0, B=1B = 1: 0+0=00 + 0 = 0 but 0+1=10 + 1 = 1.A+AB=AA + AB = A (یاسای ⁦10⁩). تەنها Aـی تەواوکراو لە پێش B لادەچێت: A+A‾B=A+BA + \overline{A}B = A + B. A=0A = 0 و B=1B = 1 بپشکنە: 0+0=00 + 0 = 0 بەڵام 0+1=10 + 1 = 1.
Writing A⋅A=A2A \cdot A = A^2.نووسینی A⋅A=A2A \cdot A = A^2.There are no powers: A⋅A=AA \cdot A = A (rule 7).توان نییە: A⋅A=AA \cdot A = A (یاسای ⁦7⁩).
Writing A+1=AA + 1 = A or A⋅0=AA \cdot 0 = A.نووسینی A+1=AA + 1 = A یان A⋅0=AA \cdot 0 = A.1 dominates OR and 0 dominates AND: A+1=1A + 1 = 1, A⋅0=0A \cdot 0 = 0.1 بەسەر ORـدا زاڵە و 0 بەسەر ANDـدا: A+1=1A + 1 = 1، A⋅0=0A \cdot 0 = 0.
Using a rule on only part of a term, e.g. turning A+A‾BA + \overline{A}B into 1 because “A+A‾=1A + \overline{A} = 1”.بەکارهێنانی یاسایەک تەنها لەسەر بەشێکی بڕێک، بۆ نموونە کردنی A+A‾BA + \overline{A}B بە 1 چونکە «A+A‾=1A + \overline{A} = 1».A‾B\overline{A}B is one product term; rule 6 needs exactly A‾\overline{A}. The correct result is A+BA + B (rule 11).A‾B\overline{A}B یەک ؛ یاسای 6 پێویستی بە ڕێک A‾\overline{A} هەیە. ئەنجامی دروست A+BA + Bـە (یاسای ⁦11⁩).

Exercisesڕاهێنانەکان

ExerciseڕاهێنانProve rule 11 two waysیاسای ⁦11⁩ بە دوو ڕێگا بسەلمێنە

Prove A+A‾B=A+BA + \overline{A}B = A + B (a) with a truth table and (b) with Boolean algebra, naming the rule used in each step.

A+A‾B=A+BA + \overline{A}B = A + B بسەلمێنە (أ) بە و (ب) بە ، ناوی ئەو یاسایە بنووسە کە لە هەر هەنگاوێکدا بەکاری دەهێنیت.

Hintئاماژە

This is the course author's own exam-style note.

ئەمە تێبینیی خاوەنی کۆرسەکەیە بە شێوازی تاقیکردنەوە.

Show answerوەڵامەکە پیشان بدە
ABA‾\overline{A}A‾B\overline{A}BA+A‾BA + \overline{A}BA+BA + B
001000
011111
100011
110011
A+A‾B=(A+AB)+A‾Brule 10=AA+AB+AA‾+A‾Brules 7, 8=(A+A‾)(A+B)factoring=1⋅(A+B)=A+Brules 6, 4\begin{aligned} A + \overline{A}B &= (A + AB) + \overline{A}B && \text{rule 10} \\ &= AA + AB + A\overline{A} + \overline{A}B && \text{rules 7, 8} \\ &= (A + \overline{A})(A + B) && \text{factoring} \\ &= 1 \cdot (A + B) = A + B && \text{rules 6, 4} \end{aligned}
ExerciseڕاهێنانRule 10 by truth tableیاسای ⁦10⁩ بە خشتەی ڕاستی

Prove A+AB=AA + AB = A with a truth table.

A+AB=AA + AB = A بە بسەلمێنە.

Show answerوەڵامەکە پیشان بدە
ABABABA+ABA + AB
0000
0100
1001
1111

The column A+ABA + AB (0 0 1 1) equals the column A (0 0 1 1).

ستوونی A+ABA + AB ⁦(0 0 1 1)⁩ یەکسانە بە ستوونی ⁦A (0 0 1 1)⁩.

ExerciseڕاهێنانSimplifyسادە بکەرەوە

Simplify, naming each rule: (a) XY+XYZXY + XYZ (b) (A+C)(A+D)(A + C)(A + D) (c) A‾+AB\overline{A} + AB (d) A⋅1+0+AA‾+AA \cdot 1 + 0 + A\overline{A} + A.

سادە بکەرەوە و ناوی هەر یاسایەک بنووسە: (أ) XY+XYZXY + XYZ (ب) (A+C)(A+D)(A + C)(A + D) (ج) A‾+AB\overline{A} + AB (د) A⋅1+0+AA‾+AA \cdot 1 + 0 + A\overline{A} + A.

Show answerوەڵامەکە پیشان بدە
  • (a) XYXY — rule 10 with XY in the place of A.
  • (b) A+CDA + CD — rule 12.
  • (c) A‾+B\overline{A} + B — rule 11 with A‾\overline{A} in the place of A.
  • (d) A — rule 4 (A⋅1=AA \cdot 1 = A), rule 8 (AA‾=0A\overline{A} = 0), rule 1 (drop the 0s), rule 5 (A+A=AA + A = A).
  • (أ) XYXY — یاسای ⁦10⁩ بە XY لە جیاتی A.
  • (ب) A+CDA + CD — یاسای ⁦12⁩.
  • (ج) A‾+B\overline{A} + B — یاسای ⁦11⁩ بە A‾\overline{A} لە جیاتی A.
  • (د) A — یاسای 4 (A⋅1=AA \cdot 1 = A)، یاسای 8 (AA‾=0A\overline{A} = 0)، یاسای ⁦1 (0⁩ـەکان لاببە)، یاسای 5 (A+A=AA + A = A).
ExerciseڕاهێنانWhich rule?کام یاسا؟

Name the rule: (a) X+0=XX + 0 = X (b) YY‾=0Y\overline{Y} = 0 (c) Z‾‾=Z\overline{\overline{Z}} = Z (d) B+B=BB + B = B (e) D+1=1D + 1 = 1.

ناوی یاساکە بنووسە: (أ) X+0=XX + 0 = X (ب) YY‾=0Y\overline{Y} = 0 (ج) Z‾‾=Z\overline{\overline{Z}} = Z (د) B+B=BB + B = B (هـ) D+1=1D + 1 = 1.

Show answerوەڵامەکە پیشان بدە

(a) rule 1, (b) rule 8, (c) rule 9, (d) rule 5, (e) rule 2.

(أ) یاسای 1، (ب) یاسای 8، (ج) یاسای 9، (د) یاسای 5، (هـ) یاسای 2.

ExerciseڕاهێنانDualsدووانەکان

Write the dual of rules 1, 2, 5 and 6. Which rules do you get?

دووانەی یاساکانی 1، 2، 5 و 6 بنووسە. کام یاسایانە وەردەگریت؟

Show answerوەڵامەکە پیشان بدە

A⋅1=AA \cdot 1 = A (rule 4), A⋅0=0A \cdot 0 = 0 (rule 3), A⋅A=AA \cdot A = A (rule 7) and A⋅A‾=0A \cdot \overline{A} = 0 (rule 8).

A⋅1=AA \cdot 1 = A (یاسای ⁦4⁩)، A⋅0=0A \cdot 0 = 0 (یاسای ⁦3⁩)، A⋅A=AA \cdot A = A (یاسای ⁦7⁩) و A⋅A‾=0A \cdot \overline{A} = 0 (یاسای ⁦8⁩).

Summaryپوختە

  • OR with 0 and AND with 1 change nothing (rules 1, 4); OR with 1 gives 1 and AND with 0 gives 0 (rules 2, 3).
  • A+A=AA + A = A and AA=AAA = A (rules 5, 7); A+A‾=1A + \overline{A} = 1 and AA‾=0A\overline{A} = 0 (rules 6, 8).
  • Two bars cancel: A‾‾=A\overline{\overline{A}} = A (rule 9).
  • A+AB=AA + AB = A (10), A+A‾B=A+BA + \overline{A}B = A + B (11), (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC (12).
  • Every rule can be proved with a truth table, and most come in dual pairs.
  • OR لەگەڵ 0 و AND لەگەڵ 1 هیچ ناگۆڕن (یاساکانی 1 و ⁦4⁩)؛ OR لەگەڵ 1، 1 دەدات و AND لەگەڵ 0، 0 دەدات (یاساکانی 2 و ⁦3⁩).
  • A+A=AA + A = A و AA=AAA = A (یاساکانی 5 و ⁦7⁩)؛ A+A‾=1A + \overline{A} = 1 و AA‾=0A\overline{A} = 0 (یاساکانی 6 و ⁦8⁩).
  • دوو هێڵ یەکتر هەڵدەوەشێننەوە: A‾‾=A\overline{\overline{A}} = A (یاسای ⁦9⁩).
  • A+AB=AA + AB = A ⁦(10)⁩، A+A‾B=A+BA + \overline{A}B = A + B ⁦(11)⁩، (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC ⁦(12)⁩.
  • هەموو یاسایەک دەتوانرێت بە بسەلمێنرێت و زۆربەیان جووتی دووانەن.
Review questionsپرسیارەکانی پێداچوونەوە
What is A+A‾A + \overline{A}?A+A‾A + \overline{A} چەندە؟

Always 1 (rule 6).

هەمیشە 1 (یاسای ⁦6⁩).

Is A+ABA + AB equal to A or to A+BA + B?A+ABA + AB یەکسانە بە A یان بە A+BA + B؟

To A (rule 10).

بە A (یاسای ⁦10⁩).

Which rule is the second distributive law?کام یاسا یاسای بەشینەوەی دووەمە؟

Rule 12, (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC.

یاسای ⁦12⁩، (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC.

Videoڤیدیۆ

Watch a videoسەیری ڤیدیۆیەک بکە

A video that viewers liked a lot and praised in their comments, chosen for this lesson.ڤیدیۆیەک کە بینەران زۆریان پێ خۆش بووە و لە کۆمێنتەکانیاندا ستایشیان کردووە، بۆ ئەم وانەیە هەڵبژێردراوە.

boolean algebra بوولیان ئەلجێبرا بەشی یەکەمAram Rafeq · Kurdish (Sorani)کوردی (سۆرانی) · 6.4K viewsبینین · 180 likesلایک · Partبەشی 3:25–10:35 (ofلە 16:59)

Kurdish (Sorani): commutative, associative and distributive laws with gate drawings, the 12 rules in the lesson's order, then De Morgan's theorems.

بە کوردیی سۆرانی: ، و بە وێنەی ، دوازدە یاساکە بە ڕیزبەندیی وانەکە، پاشان .

3:25-10:35: rules 1-12 (A+0=A ... (A+B)(A+C)=A+BC) with short proofs.

لە ⁦3:25⁩ تا ⁦10:35⁩: یاساکانی 1 تا ⁦12⁩ (A+0=AA + 0 = A … (A+B)(A+C)=A+BC(A + B)(A + C) = A + BC) لەگەڵ کورت.

Lesson complete!وانەکە تەواو بوو!

Well done. Review the key terms, then go on to the next lesson.دەستخۆش. سەیرێکی زاراوە سەرەکییەکان بکەرەوە، پاشان بڕۆ بۆ وانەی داهاتوو.

Key termsزاراوە سەرەکییەکان

Next lessonوانەی داهاتوو

De Morgan's Theoremsسەلمێنراوەکانی دی مۆرگان

References and further readingسەرچاوەکان و خوێندنەوەی زیاتر

This lecture is a first edition. The Kurdish text and terminology are waiting for review by Kurdish IT teachers.ئەم وانەیە چاپی یەکەمە. دەقە کوردییەکە و زاراوەکانی چاوەڕێی پێداچوونەوەی مامۆستایانی کوردی بواری IT ن.