CS231 · مراجعة شاملة

مراجعة الاختبار النصفي - تصميم المنطق الرقمي

يغطي منهج الاختبار من الوحدة 1 إلى 6

الوحدة 1 الوحدة 2 الوحدة 3 الوحدة 4 الوحدة 5 الوحدة 6 المعادلات المقارنات خزنة الامتحان

1 الأنظمة الرقمية والأعداد الثنائية

مقدمة في تصميم المنطق الرقمي، تشمل الإشارات التناظرية والرقمية، أنظمة العد (الثنائي، الثماني، العشري، السداسي عشر)، التحويل بين الأنظمة، والعمليات الحسابية الثنائية باستخدام المتممات.

1.1 الإشارات التناظرية مقابل الرقمية

الإشارات التناظرية مستمرة كمنحدر أملس، بينما الإشارات الرقمية متقطعة كدرجات السلم.

تحمل الإشارات المعلومات التي نهتم بمعالجتها.

الإشارة التناظرية (Analog) هي كمية فيزيائية تتغير باستمرار مع الزمن (مثل الصوت) ويمكن أن تأخذ عددًا لا نهائيًا من القيم في نطاق معين.

أما الإشارة الرقمية (Digital) فتأخذ قيمًا متقطعة (Discrete) ومحدودة. في الأنظمة الرقمية الثنائية، تُمثل هذه القيم بالرقمين 0 و 1، أو (خطأ وصواب)، أو مستويات جهد مثل 0 فولت و +5 فولت.

1.2 تمثيل الأنظمة العددية

تُمثل الأعداد بأوزان تعتمد على موضع الخانة، تماماً كفئات العملات النقدية المختلفة.

يُمثل العدد ذو الأساس r بسلسلة من الأرقام، حيث يمثل كل رقم وزنًا يعتمد على موضعه. يُفصل الجزء الصحيح عن الجزء الكسري بنقطة الأساس (Radix point).

يتم حساب القيمة الإجمالية (المقدار) عن طريق جمع حاصل ضرب كل رقم في وزنه (الأساس مرفوعًا لأس الموضع).

على سبيل المثال، في النظام العشري (الأساس 10)، الرقم 512.74 يُحسب كـ: 5×10² + 1×10¹ + 2×10⁰ + 7×10⁻¹ + 4×10⁻².

معادلة تحويل أي نظام عددي إلى قيمته العشرية. \[\text{Number}_r = \sum_{i=0}^{n-1} A_i \cdot r^i + \sum_{j=-m}^{-1} A_j \cdot r^j\]

1.3 التحويل من النظام العشري إلى الأنظمة الأخرى

لتحويل العشري: اقسم الجزء الصحيح واضرب الجزء الكسري، كأنك تقسم كعكة وتضاعف الفتات.

لتحويل عدد عشري إلى أي نظام آخر (مثل الثنائي أو الثماني أو السداسي عشر)، نقسم العملية إلى جزأين:

  1. الجزء الصحيح: نقسم العدد العشري على الأساس المطلوب (مثلاً 2 للثنائي). الباقي يمثل الخانة الأقل أهمية (LSB). نستمر في قسمة الناتج حتى نصل إلى صفر.
  2. الجزء الكسري: نضرب الكسر في الأساس المطلوب. الجزء الصحيح من الناتج يمثل الخانة الأكثر أهمية (MSB) للكسر. نستمر في ضرب الجزء الكسري المتبقي حتى نصل إلى صفر أو دقة معينة.

1.4 التحويلات السريعة: الثنائي والثماني والسداسي عشر

تجميع البتات في ثلاثيات (ثماني) أو رباعيات (سداسي عشر) يعمل كلغة اختصار للسلاسل الثنائية الطويلة.

لأن 8 هي 2³ و 16 هي 2⁴، هناك علاقة مباشرة بين النظام الثنائي والأنظمة الثمانية والسداسية عشر.

  • من ثنائي إلى سداسي عشر: قسّم العدد الثنائي إلى مجموعات من 4 بتات (بدءاً من الفاصلة يميناً ويساراً)، واستبدل كل مجموعة بالرقم السداسي عشر المقابل. أضف أصفاراً (Pad with Zeros) إذا لزم الأمر.
  • من ثنائي إلى ثماني: نفس الطريقة ولكن بمجموعات من 3 بتات.

للتحويل العكسي، استبدل كل رقم ثماني أو سداسي عشر بما يعادله من البتات.

1.5 الجمع الثنائي

الجمع الثنائي يشبه العشري لكنه يرحّل (Carry) عند الوصول إلى 2 بدلاً من 10، كدلو يفيض بسرعة.

قواعد جمع البتات الأساسية هي: 0+0=0، 0+1=1، 1+0=1.

عندما نجمع 1+1، الناتج هو 2 بالعشري، والذي يكتب 10 بالثنائي، لذا نكتب 0 ونرفع (Carry) 1 للخانة التالية.

إذا كان لدينا 1+1+1 (بسبب وجود Carry سابق)، الناتج هو 3 بالعشري، والذي يكتب 11 بالثنائي، لذا نكتب 1 ونرفع 1.

يتم إجراء الجمع عمودياً (Column Addition) من اليمين إلى اليسار تماماً كما في النظام العشري.

1.6 المتممات والطرح الثنائي

المتممات تحول الطرح إلى جمع، كأنك تضيف ديناً سالباً بدلاً من طرح مال إيجابي.

تُستخدم المتممات لتبسيط عملية الطرح في الدوائر الرقمية، بحيث يمكن استخدام دائرة الجمع نفسها للطرح.

  • المتمم الأول (1's complement): يتم الحصول عليه بقلب كل 0 إلى 1 وكل 1 إلى 0.
  • المتمم الثاني (2's complement): يتم الحصول عليه بإيجاد المتمم الأول ثم إضافة 1 للناتج.

لطرح N من M (أي M - N): نجمع M مع المتمم الثاني لـ N.

إذا نتج عن الجمع Carry إضافي في النهاية، نتجاهله ويكون الناتج موجباً. إذا لم ينتج Carry، فهذا يعني أن النتيجة سالبة، وللحصول على القيمة الفعلية نأخذ المتمم الثاني للناتج ونضيف إشارة سالب.

معادلة الطرح باستخدام المتمم الثاني. \[M - N = M + (\text{2's complement of } N)\]

2 الجبر البولياني والبوابات المنطقية

مقدمة في الشفرات الثنائية، المسجلات، المنطق الثنائي، والتعريف البديهي للجبر البولياني باستخدام مسلمات هنتنغتون.

2.1 الشفرات الثنائية وحساب عدد البتات

الشفرات الثنائية تستخدم n بت لتمثيل 2^n عنصر، كاستخدام مفاتيح إضاءة متعددة لخلق حالات مختلفة.

إشارات الأنظمة الرقمية لها قيمتان متمايزتان فقط. لتمثيل معلومات العالم الحقيقي بدقة أكبر، نحتاج إلى أكثر من قيمتين.

الشفرة الثنائية (Binary Code) المكونة من n بت هي مجموعة من n بتات يمكن أن تحتوي على 2^n قيمة متمايزة.

لتمثيل M من العناصر، فإن الحد الأدنى لعدد البتات n المطلوبة يحقق العلاقة: 2^n ≥ M > 2^(n-1). يمكن حسابها باستخدام المعادلة: n = ⌈log2 M⌉ حيث ⌈x⌉ هي دالة السقف (أصغر عدد صحيح أكبر من أو يساوي x).

حساب الحد الأدنى لعدد البتات. \[n = \lceil \log_2 M \rceil\]

2.2 النظام العشري المشفر ثنائياً (BCD)

نظام BCD يشفر كل رقم عشري في 4 بتات، ويعمل كمترجم مباشر بين البشر والحواسيب.

في النظام العشري المشفر ثنائياً (BCD)، يتم تمثيل كل رقم عشري (من 0 إلى 9) بواسطة 4 بتات. المجموعات من (0000 إلى 1001) تعتبر تركيبات صالحة، بينما المجموعات من (1010 إلى 1111) أي من 10 إلى 15 تعتبر تركيبات غير صالحة.

  • الميزة: يسهل على الأشخاص الذين يستخدمون النظام العشري التعامل مع بيانات الإدخال/الإخراج للكمبيوتر، حيث يسهل التحويل ذهاباً وإياباً إلى BCD.
  • العيب: يحتاج رقم BCD إلى بتات أكثر من قيمته الثنائية المكافئة.

يجب عدم الخلط بين تحويل الرقم العشري إلى ثنائي، وبين تشفير الرقم العشري بشفرة BCD.

2.3 شفرة غراي

شفرة يتغير فيها بت واحد فقط في كل خطوة، كقفل خزنة تدير فيه قرصاً واحداً لتوفير الطاقة.

شفرة غراي (Gray Code) هي ترتيب للأنظمة الرقمية الثنائية بحيث تختلف قيمتان متتاليتان في بت واحد (خانة ثنائية واحدة) فقط. تختلف هذه الشفرة عن العد الثنائي التقليدي.

من أهم مميزاتها أنها تستهلك طاقة أقل لأن عدد الترانزستورات التي تعمل وتتوقف (on and off) يكون أقل عند الانتقال بين الحالات المتتالية.

2.4 شفرة آسكي (ASCII)

شفرة من 7 بتات تمثل 128 حرفاً، وتعمل كقاموس الأبجدية الأساسي للحواسيب.

شفرة آسكي (ASCII) تقف لـ American Standard Code for Information Interchange. هي شفرة مكونة من 7 بتات، مما يعني أنها تستطيع تمثيل 128 عنصراً مختلفاً (من 0 إلى 127).

يتم تعيين رقم لكل حرف أو رمز. على سبيل المثال، شفرة ASCII للحرف الكبير 'A' هي '1000001' والتي تعادل الرقم العشري 65.

2.5 المسجلات والتخزين الثنائي

المسجلات هي مجموعات من الخلايا الثنائية، تعمل كصناديق بريد سريعة جداً داخل المعالج.

المسجل (Register) هو مجموعة من الخلايا الثنائية. المسجل الذي يحتوي على n من الخلايا يمكنه تخزين أي كمية منفصلة من المعلومات التي تحتوي على n بت.

حالة المسجل هي مجموعة (n-tuple) من الآحاد والأصفار (1's and 0's)، حيث يحدد كل بت حالة خلية واحدة في المسجل.

على سبيل المثال، مسجل بحجم 16 بت يمكن أن يكون في واحدة من 2^16 حالة ممكنة، ويمكنه تخزين أي رقم ثنائي من 0 إلى (2^16 - 1). تنتقل المعلومات بين المسجلات في وحدات الذاكرة، ووحدات المعالجة، ووحدات الإدخال.

2.6 المنطق الثنائي والبوابات المنطقية

البوابات المنطقية (AND, OR, NOT) هي شرطة المرور التي توجه الإشارات الكهربائية في الدوائر.

يتعامل المنطق الثنائي مع متغيرات تأخذ قيمتين منفصلتين (صواب/خطأ، نعم/لا، 1/0) وعمليات تحمل معنى منطقياً. هناك ثلاث عمليات منطقية أساسية:

  1. AND (الضرب المنطقي): يُمثل بنقطة (.) أو بدون مشغل. z = x . y يعني أن z = 1 فقط إذا كان x = 1 و y = 1.
  2. OR (الجمع المنطقي): يُمثل بعلامة (+). z = x + y يعني أن z = 1 إذا كان x = 1 أو y = 1 أو كلاهما.
  3. NOT (المتمم): يُمثل بشرطة (') أو خط علوي. z = x' يعني عكس قيمة x (إذا كان x=1 فإن z=0 والعكس).

البوابات المنطقية (Logic Gates) هي دوائر إلكترونية تعمل على إشارة إدخال واحدة أو أكثر لإنتاج إشارة إخراج بناءً على هذه العمليات.

2.7 الجبر البولياني ومسلمات هنتنغتون

مسلمات هنتنغتون هي الدستور الأساسي الذي يحكم جميع قواعد الجبر البولياني.

الجبر البولياني هو نظام رياضي استنتاجي يُعرّف بمجموعة من العناصر، ومجموعة من المشغلات، وعدد من المسلمات (Postulates). في عام 1904، صاغ E. V. Huntington المسلمات التالية لتعريف الجبر البولياني على مجموعة B مع المشغلين (+) و (.) :

  1. الانغلاق (Closure): النظام مغلق بالنسبة لـ (+) و (.).
  2. عنصر محايد (Identity): 0 هو المحايد لـ (+) حيث x+0=x. و 1 هو المحايد لـ (.) حيث x.1=x.
  3. التبديل (Commutative): x+y = y+x و x.y = y.x.
  4. التوزيع (Distributive): (.) يتوزع على (+) والعكس: x.(y+z) = (x.y)+(x.z) و x+(y.z) = (x+y).(x+z).
  5. المتمم (Complement): لكل x يوجد x' بحيث x+x'=1 و x.x'=0.
  6. يوجد على الأقل عنصران مختلفان x ≠ y.
قانون التوزيع للجمع على الضرب. \[x + (y \cdot z) = (x + y) \cdot (x + z)\]

2.8 الجبر البولياني ثنائي القيم

نظام يقتصر على 0 و 1 فقط، وهو حجر الأساس الذي تُبنى عليه جميع الحواسيب الحديثة.

الجبر البولياني ثنائي القيم (Two-Valued Boolean Algebra) يُعرّف على مجموعة تتكون من عنصرين فقط، B = {0, 1}، مع قواعد للمشغلين الثنائيين (+) و (.). هذه القواعد هي بالضبط نفس عمليات AND و OR و NOT المنطقية.

يمكن إثبات صحة جميع مسلمات هنتنغتون لهذه المجموعة باستخدام جداول الحقيقة. على سبيل المثال، إثبات قانون التوزيع يتم عن طريق إنشاء جدول حقيقة لجميع الاحتمالات الممكنة للمتغيرات x, y, z ومقارنة النواتج.

3 التعبيرات البوليانية والتبسيط

تغطي هذه الوحدة النظريات الأساسية للجبر البولياني، البوابات المنطقية، جداول الحقيقة، وكيفية تبسيط التعبيرات المنطقية باستخدام الحدود الصغرى (Minterms) ومجموع المضروبات (SOP).

3.1 النظريات والمسلمات الأساسية للجبر البولياني

النظريات البوليانية هي اختصارات جبرية سحرية لتقليل حجم الدوائر المنطقية.

يعتمد الجبر البولياني على مسلمات (Postulates) لا تحتاج إلى إثبات، ونظريات (Theorems) تُثبت باستخدام المسلمات أو جداول الحقيقة. من أهمها:

  • التطابق (Identity)،
  • الصفر/الواحد (Null)،
  • التحايد (Idempotent)،
  • النفي المزدوج (Involution)،
  • التبديل (Commutative)،
  • التجميع (Associative)،
  • التوزيع (Distributive)،
  • نظرية دي مورغان (DeMorgan)،
  • والامتصاص (Absorption).
نظرية الامتصاص: تبسط التعبير بإلغاء المتغير الزائد. \[x + xy = x \quad \text{(Absorption Theorem)}\]

3.2 أولوية المعاملات المنطقية

ترتيب العمليات المنطقية يشبه قواعد الرياضيات العادية: الأقواس، ثم النفي، ثم الضرب، ثم الجمع.

عند تقييم التعبيرات البوليانية، يجب اتباع ترتيب محدد للعمليات لضمان النتيجة الصحيحة:

  1. الأقواس (Parentheses)،
  2. النفي (NOT)،
  3. العطف (AND)،
  4. الفصل (OR).

ونتيجة لذلك، تظهر الأقواس عادةً حول تعبيرات OR إذا كان يجب تقييمها قبل AND.

مثال يوضح استخدام الأقواس لإجبار تنفيذ عملية OR قبل AND. \[F = A(B + C)(C + D)\]

3.3 البوابات المنطقية وجداول الحقيقة

جداول الحقيقة هي الخريطة الشاملة التي تكشف كل أسرار سلوك البوابات المنطقية.

الدوال البوليانية تستخدم العمليات المنطقية فقط. يمكن تمثيل هذه الدوال باستخدام جداول الحقيقة أو المخططات المنطقية (Logic Diagrams).

جدول الحقيقة لعدد n من المتغيرات يحتوي على 2^n صف. البوابات الشائعة تشمل:

  • AND,
  • OR,
  • Inverter (NOT),
  • Buffer,
  • NAND,
  • NOR,
  • XOR,
  • XNOR.
عدد الصفوف في جدول الحقيقة لعدد n من المتغيرات. \[2^n\]

3.4 متمم الدالة

المتمم هو الصورة السلبية للدالة، حيث ينقلب كل شيء رأساً على عقب.

يمكن إيجاد متمم الدالة (F') جبرياً بطريقتين:

  1. الأولى بتطبيق نظرية دي مورغان على التعبير بأكمله.
  2. الثانية باستخدام طريقة الثنائي (Dual)، حيث نأخذ الثنائي للدالة (بتبديل AND بـ OR والعكس) ثم نقوم بتتميم كل متغير (Literal) على حدة.
خطوات إيجاد المتمم باستخدام طريقة الثنائي. \[F = (X+Y+Z) \implies Dual = (XYZ) \implies F' = (X'Y'Z')\]

3.5 الحدود الصغرى ومجموع الحدود الصغرى

الحد الأصغر هو وصفة دقيقة تحتوي على جميع المكونات (المتغيرات) لإنتاج نتيجة محددة.

الحد الأصغر (Minterm) هو حد ضرب (Product Term) تظهر فيه جميع المتغيرات مرة واحدة (سواء كانت منفية أو غير منفية).

لعدد n من المتغيرات، يوجد 2^n حد أصغر.

يمكن التعبير عن أي دالة بوليانية كـ "مجموع الحدود الصغرى" (Sum of Minterms - SOM) عن طريق عمل OR لجميع الحدود الصغرى التي تقابل القيمة 1 في جدول الحقيقة.

تمثيل بديل لمجموع الحدود الصغرى باستخدام رمز التجميع. \[F(X,Y,Z) = \sum m(0,2,5,7)\]

3.6 مجموع المضروبات (SOP)

SOP هو النسخة الرشيقة والمبسطة من SOM، مصمم لبناء أسرع الدوائر الممكنة.

بينما يحتوي مجموع الحدود الصغرى (SOM) على الحد الأقصى من المتغيرات في كل حد، فإن تبسيط هذا التعبير ينتج ما يسمى "مجموع المضروبات" (Sum of Products - SOP)، وهو صيغة قياسية (Standard Form).

يتم تنفيذ SOP عادة كدائرة ذات مستويين (2-level implementation): مستوى من بوابات AND يغذي بوابة OR واحدة.

مثال على تعبير بصيغة مجموع المضروبات (SOP). \[F = Y' + X'Y'Z' + XY\]

4 تبسيط مستوى البوابات المنطقية

تغطي هذه الوحدة طرق تبسيط التعبيرات البولينية لتقليل عدد البوابات المنطقية باستخدام الجبر البوليني وخرائط كارنوف (K-Maps) للمتغيرات المتعددة، بالإضافة إلى استخراج المضامين الأولية والأساسية.

4.1 الحدود القصوى والدنيا (Maxterms & Minterms)

الحد الأقصى هو تعبير جمع تظهر فيه جميع المتغيرات مرة واحدة، وهو يشبه الوجه الآخر للعملة بالنسبة للحد الأدنى.

الحد الأقصى (Maxterm) هو مصطلح جمع (Sum Term) يحتوي على جميع المتغيرات في الدالة، سواء كانت مكملة أو غير مكملة.

العلاقة الأساسية بين الحدود الدنيا والقصوى هي أن الحد الأدنى والحد الأقصى اللذين يحملان نفس الرمز السفلي هما مكملان لبعضهما البعض بناءً على نظرية دي مورغان.

يمكن التعبير عن الدالة البولينية كحاصل ضرب للحدود القصوى (Product of Maxterms) من خلال عمل AND لجميع الصفوف التي تقيم إلى 0 في جدول الحقيقة.

الحد الأدنى مكمل للحد الأقصى ذي نفس الفهرس. \[\overline{m_j} = M_j\]

4.2 التبسيط البوليني والازدواجية (Boolean Simplification & Duality)

التبسيط يقلل عدد البوابات، والازدواجية تُستخرج بتبديل AND بـ OR و 1 بـ 0، تماماً كترجمة جملة إلى لغة موازية.

عند تنفيذ معادلة بولينية باستخدام البوابات المنطقية، يتطلب كل حد (Term) بوابة، ويمثل كل متغير (Literal) مدخلاً لتلك البوابة.

التبسيط الجبري يهدف إلى تقليل عدد الحدود والمتغيرات، مما يؤدي إلى دوائر أصغر وأسرع.

مبدأ الازدواجية (Duality) ينص على أنه يمكن الحصول على النظير المزدوج لأي تعبير عن طريق تغيير

  • كل AND إلى OR،
  • وكل OR إلى AND،
  • وكل 1 إلى 0،
  • وكل 0 إلى 1،

مع الحفاظ على المتغيرات كما هي دون نفي.

مثال على تبسيط جبري يقلل عدد البوابات. \[F = \overline{X}YZ + \overline{X}Y\overline{Z} + XZ \implies F = \overline{X}Y + XZ\]

4.3 طريقة خريطة كارنوف (K-Map Method)

خريطة كارنوف هي تمثيل رسومي لجدول الحقيقة يبسط الدوال بمجرد النظر، وتشبه لعبة تتريس حيث تتصل الحواف ببعضها.

توفر خريطة كارنوف إجراءً مباشراً لتقليل الدوال البولينية. تتكون الخريطة من مربعات، يمثل كل منها حداً أدنى (Minterm).

يتم ترتيب المربعات بتسلسل يشبه كود غراي (Gray Code)، حيث تتغير قيمة بت واحد فقط بين أي عمودين أو صفين متجاورين. هذا الترتيب يضمن أن المربعات المتجاورة تختلف في متغير واحد فقط، مما يسمح بتبسيط التعبيرات عند تجميعها.

الخرائط شائعة الاستخدام تتكون من 2، 3، أو 4 متغيرات (تحتوي على 4، 8، و 16 مربعاً على التوالي).

4.4 المضامين الأولية والأساسية (Prime & Essential Implicants)

المضمون الأولي هو أكبر مجموعة ممكنة من الآحاد، ويكون أساسياً إذا كان الوحيد الذي يغطي رقم 1 معين، كقطعة أحجية لا بديل لها.

المضمون الأولي (Prime Implicant) هو مصطلح ضرب يتم الحصول عليه من خلال دمج أقصى عدد ممكن من المربعات المتجاورة في الخريطة (يجب أن يكون العدد من مضاعفات 2: 1، 2، 4، 8...).

إذا كان هناك مربع (Minterm) مغطى بمضمون أولي واحد فقط، فإن هذا المضمون يسمى 'مضمون أولي أساسي' (Essential Prime Implicant).

عند تبسيط الدالة، يجب أن نضمن

  • تغطية جميع الحدود الدنيا،
  • وتقليل عدد الحدود،
  • وعدم وجود حدود زائدة.

5 الوحدة 05: أنواع التنفيذ ثنائي المستوى للتعبيرات المنطقية

تغطي هذه الوحدة تبسيط مضروب المجاميع (POS)، وحالات عدم الاكتراث (Don't Care)، والبوابات الشاملة (NAND و NOR)، وتحويل الدوائر، وبوابات XOR مع تطبيقاتها في اكتشاف الأخطاء.

5.1 تبسيط مضروب المجاميع (POS)

تجميع الأصفار يعطينا متمم الدالة، وهو يشبه النحت بإزالة المساحات الفارغة بدلاً من بناء المجسم.

في خريطة كارنوف، تمثل المربعات التي تحتوي على '1' حدود المضروب (minterms) للدالة. أما المربعات الفارغة (أو التي تحتوي على '0') فتمثل متمم الدالة (F').

إذا قمنا بتجميع الأصفار، نحصل على تعبير مبسط بصيغة مجموع المضاريب (SOP) لمتمم الدالة.

للحصول على الدالة الأصلية F بصيغة مضروب المجاميع (POS)، نقوم بأخذ المتمم للنتيجة باستخدام نظرية دي مورغان (DeMorgan's theorem).

تطبيق نظرية دي مورغان للحصول على الدالة الأصلية من متممها. \[F = (F')'\]

5.2 حالات عدم الاكتراث (Don't Care)

حالات لا تحدث في الواقع نرمز لها بـ 'X'، وتعمل كبطاقات الجوكر التي يمكن استخدامها كـ 0 أو 1 لتبسيط الدائرة.

في بعض الأنظمة الرقمية، هناك تركيبات من المدخلات لا تحدث أبداً. على سبيل المثال، في نظام BCD (الذي يستخدم 4 بتات لتمثيل الأرقام من 0 إلى 9)، الحالات من 1010 إلى 1111 لا تظهر أبداً.

نطلق على هذه الحالات اسم 'حالات عدم الاكتراث' ونرمز لها بالحرف 'X' في خريطة كارنوف.

عند التبسيط، يمكننا اختيار اعتبار الـ 'X' كـ 1 إذا كان ذلك سيساعدنا في تكوين مجموعة أكبر (وبالتالي تبسيط أكثر)، أو نعتبره 0 إذا لم يكن مفيداً.

دالة منطقية تحتوي على حدود أساسية (m) وحالات عدم اكتراث (d). \[F(A,B,C,D) = \sum m(1,3,7,11,15) + d(0,2,5)\]

5.3 البوابات الشاملة (NAND و NOR)

بوابات NAND و NOR تسمى بوابات شاملة لأنها تشبه مكعبات الليجو التي يمكنها بناء أي هيكل منطقي بمفردها.

تعتبر بوابة NAND وبوابة NOR بوابات 'شاملة' (Universal). هذا يعني أن أي دائرة رقمية يمكن تصميمها وتنفيذها باستخدام بوابات NAND فقط، أو بوابات NOR فقط.

لإثبات ذلك، يكفي أن نثبت أن بوابة NAND قادرة على محاكاة عمل بوابات AND و OR و NOT الأساسية.

تُفضل هذه البوابات في الصناعة لأنها أسهل وأرخص في التصنيع باستخدام تقنية CMOS.

ربط مدخلي بوابة NAND معاً يحولها إلى بوابة عاكسة (NOT). \[X \cdot X = X' \quad (NAND \text{ as NOT})\]

5.4 التحويل إلى دوائر NAND بالكامل

لتحويل دائرة إلى NAND، نستبدل البوابات ونضيف فقاعات، وهو ما يشبه موازنة معادلة بإضافة أوزان متساوية للطرفين.

الإجراء العام لتحويل مخطط AND-OR متعدد المستويات إلى مخطط NAND بالكامل هو:

  1. تحويل جميع بوابات AND إلى بوابات NAND (باستخدام رمز AND-NOT).
  2. تحويل جميع بوابات OR إلى بوابات NAND (باستخدام رمز NOT-OR).
  3. فحص جميع الفقاعات (Bubbles) في المخطط؛ كل فقاعة لا يتم تعويضها بفقاعة أخرى على نفس الخط تتطلب إدراج عاكس (Inverter) أو عكس المتغير المدخل.

5.5 النماذج غير المتدهورة (Nondegenerate Forms)

من بين 16 تركيبة، هناك 8 تركيبات لا تنهار لعملية واحدة، كدمج أداتين مختلفتين للحصول على وظيفة جديدة بدلاً من ربط مطرقتين معاً.

بالنظر إلى 4 أنواع من البوابات (AND, OR, NAND, NOR)، لدينا 16 تركيبة ممكنة لمستويين من البوابات.

  • بعض هذه التركيبات 'تتدهور' (Degenerate) إلى عملية واحدة (مثلاً AND-AND هي مجرد بوابة AND كبيرة).
  • التركيبات الأخرى 'غير متدهورة' (Nondegenerate) وعددها 8، مثل AND-OR-INVERT و OR-AND-INVERT.

هذه النماذج مفيدة جداً في التنفيذ الفعلي للدوائر، خاصة عند استخدام 'المنطق السلكي' (Wired Logic) حيث يتم ربط مخارج البوابات معاً فيزيائياً.

معادلة تمثل نموذج AND-OR-INVERT. \[F = ((AB) + (CD))'\]

5.6 بوابة الاستبعاد (XOR) والتكافؤ

بوابة XOR تخرج 1 إذا كان عدد الآحاد فردياً، وتعمل كحارس صارم يسمح لك بالدخول فقط إذا كنت بمفردك وليس مع نسخة منك.

بوابة الاستبعاد المنطقي (XOR) هي عملية منطقية تخرج 1 إذا اختلفت المدخلات. لثلاثة متغيرات أو أكثر، تُعرف XOR بـ 'الدالة الفردية' (Odd Function)، حيث تساوي 1 فقط إذا كان عدد المتغيرات التي تساوي 1 فردياً.

هذه الخاصية تجعلها مثالية في الأنظمة الرقمية للعمليات الحسابية واكتشاف الأخطاء.

'بت التكافؤ' هو بت إضافي يُضاف إلى الرسالة لجعل إجمالي عدد الآحاد زوجياً (أو فردياً). يتم استخدام بوابات XOR لبناء 'مولد التكافؤ' عند الإرسال، و'فاحص التكافؤ' عند الاستقبال.

معادلة XOR لثلاثة متغيرات (الدالة الفردية). \[A \oplus B \oplus C = \sum m(1, 2, 4, 7)\]

6 المنطق التوافقي

مقدمة في الدوائر التوافقية، إجراءات التحليل والتصميم، تحويل الأكواد، والجامعات الثنائية (نصف الجامع والجامع الكامل).

6.1 الدوائر التوافقية

دوائر تعتمد مخرجاتها فقط على المدخلات الحالية، كآلة حاسبة بسيطة تنسى المعادلة السابقة بمجرد مسح الشاشة.

تتكون الدائرة التوافقية من بوابات منطقية تتفاعل مع قيم الإشارات عند مدخلاتها لإنتاج قيمة إشارة المخرج، مما يحول المعلومات الثنائية من بيانات الإدخال المعطاة إلى بيانات الإخراج المطلوبة.

لا تحتوي هذه الدوائر على مسارات تغذية راجعة (Feedback paths) أو عناصر ذاكرة.

بالنسبة لـ n من متغيرات الإدخال، هناك 2^n من المجموعات الممكنة، ويمكن تحديد الدائرة باستخدام جدول الحقيقة أو m من الدوال البولينية.

عدد المجموعات الممكنة لـ n من متغيرات الإدخال. \[2^n\]

6.2 إجراءات التحليل

عملية هندسة عكسية تبدأ من المخطط المنطقي للوصول إلى الدوال البولينية، كتحليل كعكة مخبوزة لمعرفة وصفتها.

الخطوة الأولى في التحليل هي التأكد من أن الدائرة توافقية وليست تتابعية (لا توجد مسارات تغذية راجعة). ثم يتم اتباع الخطوات التالية:

  1. تسمية جميع مخرجات البوابات التي تعتمد على المدخلات بأسماء ذات معنى وإيجاد دوالها.
  2. تسمية البوابات التي تعتمد على المدخلات والبوابات السابقة وإيجاد دوالها.
  3. تكرار العملية حتى يتم الحصول على مخرجات الدائرة النهائية.
  4. التعويض المتكرر للحصول على دوال المخرجات بدلالة متغيرات الإدخال فقط.

6.3 إجراءات التصميم

تحويل المواصفات المطلوبة إلى مخطط منطقي فعلي، ككتابة وصفة من الصفر بناءً على المذاق الذي تريده للكعكة.

يبدأ تصميم الدوائر التوافقية من تحديد الهدف وينتهي بمخطط الدائرة المنطقية. الخطوات هي:

  1. من المواصفات، حدد عدد المدخلات والمخرجات المطلوبة وقم بتعيين رمز لكل منها.
  2. استنتج جدول الحقيقة الذي يحدد العلاقة المطلوبة بين المدخلات والمخرجات.
  3. احصل على الدوال البولينية المبسطة لكل مخرج بدلالة متغيرات الإدخال.
  4. ارسم المخطط المنطقي وتحقق من صحة التصميم (يدويًا أو بالمحاكاة).

6.4 تحويل الأكواد (مثال: BCD إلى Excess-3)

دائرة تترجم البيانات من لغة ثنائية إلى أخرى، كالمترجم الفوري الذي يحول الإنجليزية إلى العربية مباشرة.

للتحويل من كود ثنائي A إلى كود ثنائي B، يجب أن توفر خطوط الإدخال تركيبة البتات للكود A وتولد خطوط الإخراج تركيبة البتات للكود B.

في مثال تحويل BCD إلى Excess-3، نستخدم 4 متغيرات إدخال (A, B, C, D) و 4 متغيرات إخراج (w, x, y, z).

نظرًا لأن BCD يستخدم فقط الأرقام من 0 إلى 9، فإن الحالات الست المتبقية (10 إلى 15) تعتبر حالات عدم اكتراث (Don't-care conditions).

6.5 الجامع-الطرح الثنائي (نصف الجامع والجامع الكامل)

نصف الجامع يجمع بتين فقط، بينما الجامع الكامل يجمع ثلاثة بتات، كصراف يجمع العملات ويتعامل مع الحمل من الخانة السابقة.

العملية الحسابية الأساسية هي جمع رقمين ثنائيين.

الدائرة التوافقية التي تقوم بجمع بتين تسمى نصف الجامع (Half Adder). تحتاج إلى مدخلين (x, y) ومخرجين: المجموع (S) والحمل (C). المخرج C يكون 1 فقط عندما يكون كلا المدخلين 1.

الدائرة التي تجمع ثلاثة بتات (بتين أساسيين وحمل سابق) تسمى الجامع الكامل (Full Adder).

المعادلات البولينية لمخرجات نصف الجامع. \[S = x \oplus y, \quad C = xy\]

مرجع المعادلات

المعادلة / المفهوم الوحدة LaTeX / Notation
معادلة تحويل أي نظام عددي إلى قيمته العشرية. M1 \(\text{Number}_r = \sum_{i=0}^{n-1} A_i \cdot r^i + \sum_{j=-m}^{-1} A_j \cdot r^j\)
معادلة الطرح باستخدام المتمم الثاني. M1 \(M - N = M + (\text{2's complement of } N)\)
حساب الحد الأدنى لعدد البتات. M2 \(n = \lceil \log_2 M \rceil\)
قانون التوزيع للجمع على الضرب. M2 \(x + (y \cdot z) = (x + y) \cdot (x + z)\)
نظرية الامتصاص: تبسط التعبير بإلغاء المتغير الزائد. M3 \(x + xy = x \quad \text{(Absorption Theorem)}\)
مثال يوضح استخدام الأقواس لإجبار تنفيذ عملية OR قبل AND. M3 \(F = A(B + C)(C + D)\)
عدد الصفوف في جدول الحقيقة لعدد n من المتغيرات. M3 \(2^n\)
خطوات إيجاد المتمم باستخدام طريقة الثنائي. M3 \(F = (X+Y+Z) \implies Dual = (XYZ) \implies F' = (X'Y'Z')\)
تمثيل بديل لمجموع الحدود الصغرى باستخدام رمز التجميع. M3 \(F(X,Y,Z) = \sum m(0,2,5,7)\)
مثال على تعبير بصيغة مجموع المضروبات (SOP). M3 \(F = Y' + X'Y'Z' + XY\)
الحد الأدنى مكمل للحد الأقصى ذي نفس الفهرس. M4 \(\overline{m_j} = M_j\)
مثال على تبسيط جبري يقلل عدد البوابات. M4 \(F = \overline{X}YZ + \overline{X}Y\overline{Z} + XZ \implies F = \overline{X}Y + XZ\)
تطبيق نظرية دي مورغان للحصول على الدالة الأصلية من متممها. M5 \(F = (F')'\)
دالة منطقية تحتوي على حدود أساسية (m) وحالات عدم اكتراث (d). M5 \(F(A,B,C,D) = \sum m(1,3,7,11,15) + d(0,2,5)\)
ربط مدخلي بوابة NAND معاً يحولها إلى بوابة عاكسة (NOT). M5 \(X \cdot X = X' \quad (NAND \text{ as NOT})\)
معادلة تمثل نموذج AND-OR-INVERT. M5 \(F = ((AB) + (CD))'\)
معادلة XOR لثلاثة متغيرات (الدالة الفردية). M5 \(A \oplus B \oplus C = \sum m(1, 2, 4, 7)\)
عدد المجموعات الممكنة لـ n من متغيرات الإدخال. M6 \(2^n\)
المعادلات البولينية لمخرجات نصف الجامع. M6 \(S = x \oplus y, \quad C = xy\)

مقارنة الخوارزميات

الإشارات التناظرية مقابل الإشارات الرقمية

المعيار Analog Signals Digital Signals
طبيعة القيم مستمرة (عدد لا نهائي من القيم) متقطعة (عدد محدود من القيم)
التمثيل في الزمن مستمرة في الزمن متقطعة في الزمن (تتغير عند دورات الساعة)

مقارنة أنظمة العد

المعيار Binary Octal Decimal Hexadecimal
الأساس (Radix) 2 8 10 16
الأرقام المستخدمة 0, 1 0 إلى 7 0 إلى 9 0-9 و A-F

النظام العشري المشفر ثنائياً مقابل التحويل الثنائي المباشر

المعيار BCD (Binary Coded Decimal) Direct Binary Conversion
سهولة التحويل للإنسان سهل جداً (كل رقم عشري يُترجم لـ 4 بتات) صعب للأرقام الكبيرة (يتطلب عمليات قسمة متكررة)
كفاءة استهلاك البتات يستهلك بتات أكثر (مثال: 13 تحتاج 8 بتات) كفاءة عالية (مثال: 13 تحتاج 4 بتات فقط)

الجبر البولياني مقابل الجبر العادي

المعيار Boolean Algebra Ordinary Algebra
قانون التوزيع لـ (+) على (.) صالح: x+(y.z) = (x+y).(x+z) غير صالح
المعكوسات (الطرح والقسمة) لا يوجد معكوسات جمعية أو ضربية موجودة وتسمح بالطرح والقسمة
عملية المتمم (Complement) موجودة (x') غير موجودة

مجموع الحدود الصغرى مقابل مجموع المضروبات

المعيار SOM (Sum of Minterms) SOP (Sum of Products)
عدد المتغيرات في كل حد الحد الأقصى (جميع المتغيرات موجودة) مبسط (متغيرات أقل)
نوع الصيغة صيغة قانونية (Canonical) صيغة قياسية (Standard)
الاستخراج مباشرة من جدول الحقيقة يتطلب تبسيطاً جبرياً

التنفيذ ذو المستويين مقابل 3 مستويات

المعيار 2-level (e.g., AB + CD + CE) 3-level (e.g., AB + C(D+E))
تأخير البوابات (السرعة) تأخير أقل (أسرع) تأخير أكبر (أبطأ)
عدد البوابات / المداخل المطلوبة قد يتطلب بوابات بمداخل كثيرة يمكن تنفيذه ببوابات ذات مدخلين فقط

الحد الأدنى مقابل الحد الأقصى

المعيار Minterm Maxterm
العملية المنطقية الأساسية حاصل ضرب (AND) مجموع (OR)
الرمز m (حرف صغير) M (حرف كبير)
التقييم في جدول الحقيقة يقيم إلى 1 يقيم إلى 0

المضمون الأولي مقابل الأساسي

المعيار Prime Implicant Essential Prime Implicant
التعريف أكبر مجموعة ممكنة من المربعات المتجاورة مضمون أولي يغطي مربعاً لا يغطيه غيره
التواجد في الحل النهائي قد يُستبعد إذا تمت تغطية عناصره بمجموعات أخرى يجب أن يكون موجوداً دائماً

مجموع المضاريب (SOP) مقابل مضروب المجاميع (POS)

المعيار SOP POS
التجميع في خريطة كارنوف تجميع الآحاد (1s) تجميع الأصفار (0s) ثم أخذ المتمم
البوابات الأساسية المستخدمة AND ثم OR OR ثم AND

بوابات NAND مقابل NOR

المعيار NAND NOR
العملية المنطقية NOT AND NOT OR
الشمولية (Universality) شاملة (يمكن بناء أي دائرة بها) شاملة (يمكن بناء أي دائرة بها)

الدوائر التوافقية مقابل الدوائر التتابعية

المعيار Combinational Circuits Sequential Circuits
الاعتمادية على المدخلات تعتمد على المدخلات الحالية فقط تعتمد على المدخلات الحالية والحالة السابقة
مسارات التغذية الراجعة لا توجد موجودة
عناصر الذاكرة لا تحتوي على ذاكرة تحتوي على ذاكرة

البطاقات التعليمية

اختبر نفسك

1 / 30 نتيجتك: 0

حديث البروفيسور

أهلاً بكم يا أبطال مقرر CS231 في ليلة الاختبار النصفي. الليلة ليست لتعلم أشياء جديدة، بل هي ليلة ربط الخيوط ورؤية الصورة الكاملة لكل ما درسناه في الوحدات الست الأولى. لقد بدأنا رحلتنا في الوحدة الأولى مع الأنظمة الرقمية والأعداد الثنائية، حيث تعلمنا لغة الحواسيب الأساسية من خلال الأنظمة الثنائية والثمانية والسداسية عشرية. هذه الوحدة هي الأساس الذي يُبنى عليه كل شيء، لذا احذروا من فخاخ التحويلات بين الأنظمة وتأكدوا من مراجعة عمليات الجمع والطرح الثنائية بدقة. بعد ذلك، انتقلنا في الوحدة الثانية إلى الجبر البولياني والبوابات المنطقية، حيث قمنا بترجمة تلك الأرقام إلى إشارات تُعالج عبر قواعد رياضية وبوابات منطقية. العلاقة هنا وثيقة جداً؛ فالأرقام من الوحدة الأولى أصبحت الآن مدخلات لبوابات الوحدة الثانية. في الوحدة الثالثة، تعمقنا في التعبيرات البوليانية والتبسيط، واستخدمنا النظريات والحدود الصغرى (Minterms) لتبسيط التعبيرات. الفخ الشائع هنا هو نسيان بعض القواعد الجبرية أو الخلط بينها، لذا كونوا حذرين. ولأن التبسيط الجبري قد يكون معقداً، جاءت الوحدة الرابعة لتقدم لنا تقليل مستوى البوابات باستخدام خرائط كارنوف (Karnaugh Maps). خرائط كارنوف هي أداتكم السحرية لتقليل عدد البوابات بصرياً، ولكن احذروا من فخ نسيان تجميع الخلايا على الأطراف أو عدم اختيار المجموعات الأكبر الممكنة. في الوحدة الخامسة، ارتقينا بمستوى التصميم من خلال التنفيذ ثنائي المستوى، حيث تعلمنا استخدام البوابات الشاملة (Universal Gates) مثل NAND و NOR، واستغلال حالات عدم الاكتراث (Don't-care conditions) لتقليل تكلفة الأجهزة. تذكروا دائماً أن حالات عدم الاكتراث يمكن أن تكون المنقذ في خرائط كارنوف لتكوين مجموعات أكبر. أخيراً، توجنا كل هذه المعرفة في الوحدة السادسة مع المنطق التوافقي (Combinational Logic)، حيث قمنا بتصميم وتحليل دوائر تعتمد مخرجاتها حصرياً على المدخلات الحالية دون استخدام أي ذاكرة. كل وحدة تسلم الراية للتي تليها: من الأرقام، إلى البوابات، إلى التبسيط الجبري، ثم التبسيط البصري، وصولاً إلى التصميم النهائي للدوائر التوافقية. خذوا نفساً عميقاً، راجعوا بهدوء، وتجنبوا التسرع في قراءة الأسئلة. أنتم مستعدون تماماً لتجاوز هذا الاختبار بنجاح باهر. بالتوفيق لكم جميعاً!

خزنة الامتحان | النقاط الحرجة

26 نقطة حرجة
مفهوم أساسي M1
المتمم الثاني (2's Complement) هو السحر الذي يسمح للكمبيوتر بإجراء عملية الطرح باستخدام دائرة الجمع فقط. M - N هي فعلياً M + (-N).
مفهوم أساسي M5
تبسيط POS هو ببساطة إجراء تبسيط SOP على الأصفار بدلاً من الآحاد، ثم عكس النتيجة النهائية.
فخ امتحاني M6
الخلط بين نصف الجامع والجامع الكامل. تذكر: نصف الجامع يجمع بتين (بدون حمل سابق)، الجامع الكامل يجمع ثلاثة بتات (يتضمن الحمل السابق).
مفهوم أساسي M5
البوابات الشاملة (NAND و NOR) تعني أنك لست بحاجة لشراء أنواع مختلفة من الرقائق لبناء حاسوب؛ شريحة واحدة تحتوي على بوابات NAND تكفي لبناء أي منطق.
سر الامتحان M3
متمم الدالة الممثلة بمجموع الحدود الصغرى (SOM) هو ببساطة مجموع الحدود الصغرى المفقودة من الدالة الأصلية. إذا كانت F = m1+m2، فإن F' = m0+m3 (لمتغيرين).
فخ امتحاني M2
الاعتقاد بأن الجبر البولياني يحتوي على طرح أو قسمة. تذكر دائماً: لا يوجد معكوس جمعي أو ضربي في الجبر البولياني، لذا لا توجد عمليات طرح أو قسمة إطلاقاً.
سر الامتحان M5
طريقة 'دفع الفقاعات' (Bubble Pushing) في تحويل الدوائر ليست سحراً، بل هي مجرد تطبيق بصري سريع لنظرية دي مورغان لتجنب كتابة المعادلات الطويلة.
فخ امتحاني M3
الخلط بين الثنائي (Dual) والمتمم (Complement). الثنائي يغير المعاملات فقط (AND/OR) والثوابت (0/1)، بينما المتمم يغير المعاملات والثوابت وينفي المتغيرات أيضاً.
سر الامتحان M1
النظام السداسي عشر ليس لغة يفهمها الكمبيوتر! الكمبيوتر يفهم الثنائي فقط (0 و 1). السداسي عشر هو مجرد اختصار بشري لتسهيل قراءة وكتابة السلاسل الثنائية الطويلة (كل 4 بتات = حرف واحد).
مفهوم أساسي M3
الحد الأصغر (Minterm) يجب أن يحتوي على *جميع* المتغيرات في الدالة. إذا كانت الدالة تحتوي على X, Y, Z، فإن XY ليس حداً أصغر، بل هو مجرد حد ضرب (Product Term).
فخ امتحاني M2
الخلط بين التحويل الثنائي (Conversion) والتشفير الثنائي (Coding). تحويل الرقم 13 إلى ثنائي يعطي 1101، بينما تشفيره بـ BCD يعطي 0001 0011. لا تقع في هذا الفخ في الامتحان!
مفهوم أساسي M1
في طرح المتمم الثاني، الـ Carry النهائي هو مؤشر الإشارة. إذا كان هناك Carry، فالنتيجة موجبة (تجاهله). إذا لم يكن هناك Carry، فالنتيجة سالبة (خذ المتمم الثاني للناتج).
فخ امتحاني M4
الخطأ الشائع هو ترقيم صفوف وأعمدة خريطة كارنوف بالتسلسل الثنائي العادي (00, 01, 10, 11). الترتيب الصحيح هو كود غراي (00, 01, 11, 10) لضمان تجاور المربعات منطقياً.
سر الامتحان M6
في تحويل الأكواد (مثل BCD)، حالات عدم الاكتراث (Don't-cares) ليست مجرد مساحات فارغة، بل هي أداة قوية لتبسيط الدائرة وتقليل التكلفة بشكل كبير عند استخدام خرائط كارنوف.
مفهوم أساسي M2
قانون التوزيع للجمع على الضرب: x + (y . z) = (x + y) . (x + z). هذا القانون غريب جداً بالنسبة لمن اعتاد على الجبر العادي، ولكنه أساسي جداً في تبسيط الدوائر المنطقية.
سر الامتحان M4
الخريطة ليست مسطحة تماماً! الحواف اليمنى واليسرى تتلامس، وكذلك العليا والسفلى. يمكنك تجميع مربع في أقصى اليمين مع مربع في أقصى اليسار في نفس الصف.
مفهوم أساسي M4
المضامين الأولية الأساسية (Essential Prime Implicants) هي العمود الفقري للتبسيط. يجب أن تظهر دائماً في المعادلة النهائية. ابحث دائماً عن الـ 1 الذي لا يمكن تغطيته إلا بمجموعة واحدة.
فخ امتحاني M4
الخلط بين 'النظير المزدوج' (Dual) و 'المكمل' (Complement). الازدواجية تغير العمليات (+ و .) والثوابت (0 و 1) فقط، بينما المكمل يتطلب نفي المتغيرات أيضاً (حسب دي مورغان).
فخ امتحاني M5
الاعتقاد بأن بت التكافؤ (Parity Bit) يضمن وصول البيانات خالية من الأخطاء بنسبة 100%. الحقيقة: هو يكتشف الأخطاء الفردية فقط، ويفشل إذا حدث خطأ مزدوج.
فخ امتحاني M1
عند تحويل الجزء الكسري من عشري إلى ثنائي، يخطئ الكثيرون بالقسمة على 2 بدلاً من الضرب في 2. تذكر: الجزء الصحيح يُقسم، والجزء الكسري يُضرب!
فخ امتحاني M6
البدء في تحليل دائرة دون التحقق أولاً مما إذا كانت تحتوي على تغذية راجعة. إذا كان هناك تغذية راجعة، فإن طرق التحليل التوافقي ستفشل.
سر الامتحان M2
السر وراء استخدام شفرة غراي (Gray Code) ليس لتمثيل الأرقام بشكل أفضل، بل لتقليل استهلاك الطاقة ومنع الأخطاء العابرة (Glitches) في الأجهزة الفيزيائية لأن بت واحد فقط يتغير في كل مرة.
فخ امتحاني M5
الاعتقاد بأن حالة عدم الاكتراث 'X' يجب أن تكون دائماً 0 أو دائماً 1 في كل الخريطة. الحقيقة: يمكنك اختيار قيمة مختلفة لكل 'X' بشكل مستقل بناءً على ما يخدم التبسيط.
مفهوم أساسي M6
الدوائر التوافقية لا تمتلك ذاكرة. مخرجاتها هي انعكاس فوري لمدخلاتها الحالية. غياب مسارات التغذية الراجعة هو الشرط الأساسي.
فخ امتحاني M3
تجاهل أولوية المعاملات. تقييم عملية OR قبل AND بدون وجود أقواس سيؤدي إلى جدول حقيقة خاطئ تماماً ودائرة لا تعمل كما هو مطلوب.
فخ امتحاني M1
عند تجميع البتات للتحويل من ثنائي إلى سداسي عشر أو ثماني، يجب أن تبدأ التجميع من الفاصلة (Radix point) وتتجه يساراً للأعداد الصحيحة، ويميناً للكسور. البدء من الطرف الخاطئ سيدمر القيمة تماماً!