‫جامعة دمشق كلية الهمك‬

‫السنة الثالثة طاقة مادة الدارات المنطقية‬

‫التبسيط على مستوى البوابة‬

‫تبسيط تابع منطقي بأربع متحوالت باستخدام مخطط كارنوف‬

‫مالحظات تتعلق باختصار التوابع المنطقية باستخدام مخطط كارنوف‪:‬‬

‫ايجاد الحدود األصغرية التي تمثل العالقة الرباضية لتابع (رياضياً أو عن طريق جدول‬ ‫‪‬‬
‫الحقيقة)‬
‫تمثيل الحدود األصغرية على المخطط وايجاد أكبر عدد ممكن من الحدود المتجاورة‬ ‫‪‬‬
‫الختصارها‪.‬‬
‫عدد الحدود األصغرية المتجاورة يجب أن يكون من قوى العدد ‪ 2‬أي ‪ 2‬أو ‪ 4‬أو ‪.8‬‬ ‫‪‬‬
‫يجب أخذ جميع الحدود األصغرية التي تمثل التابع وفي حال لم يتم اختصار أحد الحدود‬ ‫‪‬‬
‫األصغرية فيبقى كما هو في العالقة الرياضية‪.‬‬
‫عدد الحدود األصغرية التي تنتج عن ‪ 4‬متحوالت هي ‪ 16‬حد أصغري و ‪ 16‬حد أعظمي‪.‬‬ ‫‪‬‬
‫جدول الحقيقة والحدود األصغرية واألعظمية في حالة ‪ 4‬متحوالت‪.‬‬

‫ترتيب‬ ‫العدد االثناني‬ ‫الحدود األصغرية‬ ‫الحد األعظمي‬

‫الحد‬
‫‪x‬‬ ‫‪y‬‬ ‫‪z‬‬ ‫‪w‬‬ ‫الحد‬ ‫الرمز‬ ‫الحد‬ ‫الرمز‬
‫المخصص‬ ‫المخصص‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫'‪x'y'z'w‬‬ ‫‪m0‬‬ ‫‪x +y+z+w‬‬ ‫‪M0‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪x'y'z'w‬‬ ‫‪m1‬‬ ‫'‪x+y+z+w‬‬ ‫‪M1‬‬

‫‪2‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫'‪x'y'zw‬‬ ‫‪m2‬‬ ‫‪x+y+z'+w‬‬ ‫‪M2‬‬

‫‪3‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪x'y'zw‬‬ ‫‪m3‬‬ ‫'‪x+y+z'+w‬‬ ‫‪M3‬‬

‫‪4‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫'‪x'yz'w‬‬ ‫‪m4‬‬ ‫‪x+y'+z+w‬‬ ‫‪M4‬‬

‫‪5‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪x'yz'w‬‬ ‫‪m5‬‬ ‫'‪x+y'+z+w‬‬ ‫‪M5‬‬

‫‪6‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫'‪x'yzw‬‬ ‫‪m6‬‬ ‫‪x+y'+z'+w‬‬ ‫‪M6‬‬

‫‪7‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪x'yzw‬‬ ‫‪m7‬‬ ‫'‪x+y'+z'+w‬‬ ‫‪M7‬‬

‫‪8‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫'‪xy'z'w‬‬ ‫‪m8‬‬ ‫‪x'+y+z+w‬‬ ‫‪M8‬‬

‫‪9‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪xy'z'w‬‬ ‫‪m9‬‬ ‫'‪x'+y+z+w‬‬ ‫‪M9‬‬

‫‪10‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫'‪xy'zw‬‬ ‫‪m10‬‬ ‫‪x'+y+z'+w‬‬ ‫‪M10‬‬

‫الصفحة ‪1‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

‫‪11‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪xy'zw‬‬ ‫‪m11‬‬ ‫'‪x'+y+z'+w‬‬ ‫‪M11‬‬

‫‪12‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫'‪xyz'w‬‬ ‫‪m12‬‬ ‫‪x'+y'+z+w‬‬ ‫‪M12‬‬

‫‪13‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪xyz'w‬‬ ‫‪m13‬‬ ‫'‪x'+y'+z+w‬‬ ‫‪M13‬‬

‫‪14‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫'‪xyzw‬‬ ‫‪m14‬‬ ‫‪x'+y'+z'+w‬‬ ‫‪M14‬‬

‫‪15‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪xyzw‬‬ ‫‪m15‬‬ ‫'‪x'+y'+z'+w‬‬ ‫‪M15‬‬

‫تُمثل الحدود األصغرية بواسطة مخطط كارنوف بحيث يختلف كل مربعين‬ ‫‪‬‬
‫متجاورين بمتحول واحد فقط‪.‬‬
‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬

‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬ ‫‪m2‬‬

‫‪00‬‬

‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬

‫‪01‬‬

‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬

‫‪11‬‬

‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬

‫‪10‬‬

‫اختصار حدين اصغرين متجارورين‪:‬‬ ‫‪‬‬

‫‪ .1‬الحدين يقعان على نفس السطر‪:‬‬

‫سيكون التغير في واحد من المتحوالت التي تمثل األعمدة أي ‪ wz‬مثال‪:‬‬

‫الحدان ‪ m4‬و ‪ m5‬متجاوران ويقعان في السطر المقابل ‪ x'y‬لكن يوجد انتقال‬

‫(تغير) ‪ 0001‬المقابل للمتحوالت ‪ .wz‬نجد أن المتحول ‪ z‬ضهر بصيغتة األصلية‬
‫والمتتمة بالتالي سيتم اختصاره‪.‬‬

‫الصفحة ‪2‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫التغير ‪00 01‬‬

‫المتحول ‪ z‬يظهر بصيغته األصلية والمتممة‬

‫بالتالي سيتم اختصاره‪ ,‬واليوجد تغير في المتحول '‪ w‬بالتالي سوف يظهر في صيغة االختصار‬

‫‪wz‬‬
‫‪xy‬‬
‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬

‫‪00‬‬ ‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬ ‫‪m2‬‬

‫ال يوجد تغير في المتحوالت الموافقة لسطر ‪01‬‬

‫بالتالي الحد ‪ x'y‬سيظهر في الصيغة المختصرة‬ ‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬

‫‪01‬‬

‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬

‫‪11‬‬

‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬

‫‪10‬‬
‫'‪m4+m5 x'yw‬‬
‫كذلك األمر بالنسبة ألي حدين أصغرين متجاورين أمثلة‪:‬‬

‫الحدين المتجاورين‬ ‫الحد الناتج عن االختصار‬

‫' ‪m4 +m5‬‬ ‫'‪x'yw‬‬

‫‪m12+m13‬‬ ‫'‪xyw‬‬
‫‪m8 +m10‬‬ ‫'‪xy'z‬‬
‫‪m1+m13‬‬ ‫‪x'y'z‬‬
‫‪m11+m10‬‬ ‫‪xy'w‬‬
‫‪m12+m14‬‬ ‫'‪xyz‬‬
‫‪m4 +m5‬‬ ‫'‪x'yw‬‬
‫‪m3 +m2‬‬ ‫‪x'y'w‬‬

‫الصفحة ‪3‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫‪ .2‬الحدين يقعان على نفس العامود‪:‬‬

‫سيكون التغير في واحد من المتحوالت التي تمثل األسطر أي ‪wz‬‬

‫مثال‪:‬‬

‫المتحوالن ‪ m5‬و ‪m13‬‬

‫ال يوجد تغير في العامود ‪01‬‬

‫بالتالي فإن الحد ‪ w'z‬سيظهر في الصيغة المختصرة‬

‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬

‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬ ‫‪m2‬‬

‫‪00‬‬

‫يوجد تغير من ‪01 11‬‬

‫‪01‬‬ ‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬
‫المتحول ‪ x‬يظهر بصيغته‬
‫األصلية والصيغة المتممة‬ ‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬
‫بالتالي سيتم اختصاره‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫ال يوجد تغير في المتحول ‪y‬‬ ‫‪10‬‬
‫بالتالي سظهر وبصيغته‬
‫الحقيقية‬
‫‪m5+m13 yw'z‬‬

‫أمثلة‪:‬‬

‫الحدين المتجاورين‬ ‫الحد الناتج عن االختصار‬

‫‪m4 +m12‬‬ ‫'‪yw'z‬‬

‫‪m12+m8‬‬ ‫'‪xw'z‬‬
‫‪m8 +m0‬‬ ‫'‪y'w'z‬‬
‫‪m3+m11‬‬ ‫‪y'wz‬‬

‫حالة وجود أربع حدود أصغرية متجاورة‪:‬‬ ‫‪‬‬

‫‪ .1‬في حال كانت الحدود من نفس السطر‪ ,‬سوف تظهر كل من‬
‫المتحوالت التي تمثل األعمدة ‪ wz‬بصيغتها الحقيقية والمتمة‪,‬‬
‫بالتالي سيتم اختصارها ويكون الحد الناتج عن االختصار هو‬
‫المتحوالن المقابالن لنفس السطر‪ .‬أمثلة‪:‬‬

‫الصفحة ‪4‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫سوف يظهر كل من المحوالن ‪ y‬و ‪ z‬بصيغة الحقيقية والمتممة‬

‫بالتالي سوف يتم اختصارهم والحد الناتج عن االختصار ال يحوي أي من المتحولين ‪ w‬أو ‪z‬‬

‫‪wz‬‬ ‫الحد الناتج عن االختصار‬

‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬

‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬ ‫‪m2‬‬ ‫'‪m0+m1+m2+m3  x'y‬‬

‫‪00‬‬

‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬ ‫‪m4+m5+m6+m7 x'y‬‬

‫‪01‬‬

‫‪m12+m13+m14+m15‬‬
‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬ ‫‪xy‬‬

‫‪m8+m9+m10+m11‬‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫‪10‬‬ ‫'‪xy‬‬

‫‪ .2‬في حال كانت الحدود من نفس العامود‪ ,‬سوف تظهر كل من المتحوالت‬

‫التي تمثل األسطر ‪ xy‬بصيغتها الحقيقية والمتمة‪ ,‬بالتالي سيتم‬
‫اختصارها ويكون الحد الناتج عن االختصار هو المتحوالن المقابالن لنفس‬
‫السطر‪ .‬أمثلة‪:‬‬

‫‪wz‬‬
‫‪xy‬‬
‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬
‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬ ‫‪m2‬‬
‫‪00‬‬
‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬
‫‪01‬‬
‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫‪10‬‬
‫الحد الناتج‬ ‫‪m0+m4+m‬‬
‫‪m1+m5+m13+m‬‬ ‫‪m3+m7+m15+m1‬‬ ‫‪M12+m6+m14+m1‬‬
‫عن االختصار‬ ‫‪12+m8‬‬
‫‪9  w'z‬‬ ‫‪1 wz‬‬ ‫'‪0 wz‬‬
‫'‪w'z‬‬

‫الصفحة ‪5‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

‫‪ .3‬في حال اربع حدود أصغرية متجاورة‪ ,‬تمثل هذه الحدود مربع جزئي‬
‫من مخطط كارنوف‪ ,‬نتيجة وجود حدين متجاورين على نفس‬
‫السطر سوف يظهر أحد المتحولين ‪ w‬أو بصيغته المتتمة أو األصلية‬
‫ويتم اختصاره‪ ,‬ونتجية وجود حدين متجاورين على نفس العامود‬
‫سوف يظهر أحد المتحوالت ‪ x‬أو ‪ y‬بصيغته األصلية والمتممة‬
‫وسيتم اختصاره‪ ,‬أمثلة‪:‬‬
‫تبسيط الحد الناتج عن الحدود المتجاورة ‪.m3+m2+m7+m6‬‬

‫الحدود األصغرية تقع ضمن العامود ‪ wz=11‬و ‪.wz=10‬‬

‫المتحول ‪ z‬يظهر بصيغته األصلية والمتممة بالتالي يتم اختصار‬

‫ويظهر المتحول ‪ w‬بصيغته األساسية (غير المتتمة)‬

‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬ ‫الحدود األصغرية تقع ضمن األسطر‬
‫‪m2‬‬ ‫‪ xy=00‬و ‪.xy=01‬‬
‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬
‫‪00‬‬
‫المتحول ‪ y‬يظهر بصيغته األصلية‬
‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬ ‫والمتممة بالتالي يتم اختصار ويظهر‬
‫‪01‬‬
‫المتحول ‪ x‬بصيغته المتتمة‪.‬‬
‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫‪10‬‬

‫'‪m3+m2+m6+m7=wx‬‬

‫مزيد من األمثلة‪:‬‬

‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬
‫‪m2‬‬
‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬
‫‪00‬‬
‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬ ‫‪m5+m7+m13+m15 zy‬‬
‫‪01‬‬
‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫‪10‬‬

‫الصفحة ‪6‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬
‫‪m2‬‬
‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬
‫‪00‬‬
‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬ ‫'‪m0+m2+m8+m10 y'z‬‬
‫‪01‬‬
‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫‪10‬‬

‫‪ .4‬حالة ثمانية حدود متجاورة‪:‬‬

‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬
‫‪m2‬‬
‫‪m0‬‬ ‫‪m1‬‬ ‫‪m3‬‬
‫‪00‬‬
‫‪m4‬‬ ‫‪m5‬‬ ‫‪m7‬‬ ‫‪m6‬‬
‫‪01‬‬
‫‪m12‬‬ ‫‪m13‬‬ ‫‪m15‬‬ ‫‪m14‬‬
‫‪11‬‬
‫‪m8‬‬ ‫‪m9‬‬ ‫‪m11‬‬ ‫‪m10‬‬
‫‪10‬‬

‫‪m2+m3+m6+m7+m10+m11+‬‬
‫‪m14+m15  w‬‬

‫مالحظة‪ :‬عند أخذ حدين متجاورين يتم اختصار متحول وحيد‪ ,‬ويكون الحد الناتج عن عملية‬
‫التبسيط مكون من ثالث متحوالت (في خال تابع يملك أربع متحوالت)‪ .‬وفي حال أخذ أربع حدود‬
‫متجاورة يكون الحد الناتج عن التبسيط مكون من متحولين ويتم اختصار متحولين‪ .‬أما في حال‬
‫أخذ تمان حدود متجاورة ينتج عن عملية التبسيط حد مكون من متحول واحد فقط‪.‬‬

‫مثال‪:‬‬
‫ليكن لدينا التابع المنطقي المعرف بالعالقة التالية‪:‬‬

‫)‪𝐹(𝐴, 𝐵, 𝐶, 𝐷) = ∑(0,2,5,7,8,10‬‬

‫‪ .1‬مثل الحدود األصغرية لهذا التابع باستخدام مخطط كارنوف‪.‬‬

‫الصفحة ‪7‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫‪ .2‬بسط التابع إلى صيفة مجموع جداءات بأبسط صيغة ممكنة‪ ,‬ثم نفذ‬
‫هذا التابع باستخدام بوابات ‪ AND‬و ‪.OR‬‬
‫‪ .3‬نفذ التابع باستخدام بوابات ‪ NAND‬فقط‪.‬‬
‫‪ .4‬مثل متمم التابع '‪ F‬على مخطط كارنوف ثم قم بتبسيطه إلى‬
‫مجموع جداءات ‪ ,‬ثم قم بإيجاد صيغة جداءات مجاميع لتابع ‪ F‬ونفذه‬
‫باستخدام بوابات ‪ NOR‬فقط‪.‬‬

‫الحل‪:‬‬

‫‪ .1‬تمثيل التابع باستخدام مخطط كارنوف‪:‬‬

‫مالحظة‪ :‬مخطط كارنوف هو تمثيل للحدود األصغرية لتابع‪ ,‬وفي حال‬

‫كان التابع معطى بصيغة مجموع جداءات أو مضاريب جدود أعظمية‬
‫فيجب إيجاد الحدود األصغرية لنستطيع تمثيله بواسطة مخطط‬
‫كارنوف‪.‬‬

‫مخطط كارنزف لتابع ‪.F‬‬

‫‪wz‬‬
‫‪xy‬‬ ‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪00‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪01‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫‪11‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪10‬‬

‫‪ .2‬الحدود المتجاورة والحد الناتج عن تبسيطها‪:‬‬

‫'‪m0+m2+m8+m10 y'z‬‬
‫‪m5+m7 x'yz‬‬
‫‪F=y'z'+x'yz‬‬
‫تنجيز التابع بزاسطة بوابات ‪ AND‬و ‪.OR‬‬

‫الصفحة ‪8‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫‪ .3‬تنجيز التابع باستخدام بوابات ‪ NAND‬فقط‪:‬‬

‫من العالقة المبسطة لتابع ‪ F=x'yz+y'z‬نأخذ المتمم مرتين ')'‪,F=(F‬‬

‫نطبق نظرية ديمورغن للمتمم األول‪.‬‬

‫نظرية ديمورغان ‪(A+B+C+…)'=A'.B'.C'….‬‬

‫بفرض ‪ A=x'yz‬و ‪ B=y'z‬ينتج ‪:‬‬

‫')')‪F=(F')'=(A'B')'=(( y'z)'(x'yz‬‬

‫يمثل الحدين ‪ A‬و ‪ B‬بوابات ‪ AND‬متبوعة بعملية المتمم أي بوابة ‪NAND‬‬

‫بينما تمثل عملية المتمم الخارجية (الثانية) عملية ‪ NAND‬على الحدين‬
‫'‪ A‬و '‪:B‬‬

‫‪ .4‬يمثل عن متمم التابع '‪ F‬بواسطة الحدود الصغرية التي يكون عندها‬
‫التابع األصلي ‪ F‬صفراً‪.‬‬

‫الصفحة ‪9‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫مخطط كارنوف لتابع '‪F‬‬

‫‪wz‬‬
‫‪xy‬‬
‫‪00‬‬ ‫‪01‬‬ ‫‪11‬‬ ‫‪10‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪00‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫‪01‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪11‬‬

‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪10‬‬

‫بأخذ جميع الحدود المتجاورة المعرف عندها التابع‪:‬‬

‫'‪m1+m3+m9+m11 wy‬‬

‫'‪m4+m12+m6+m14 yz‬‬

‫‪m12+m13+m14+m15 xy‬‬

‫‪F'=wy'+yz'+xy‬‬

‫مالحظة‪ :‬عند تجميع الحدود األصغرية المعرف عندها التابع‪ ,‬يمكن أخذ‬
‫نفس الحد مرتين مثال ً في مثالنا السابق تم أخذ الحدين ‪ 12‬و ‪ 14‬مرتين‪,‬‬
‫مرة عند تجميع الحدود )‪ (4,6,12,14‬ومرة عند تجميع الحدود‬
‫)‪.(12,13,14,15‬‬

‫بأخذ متمم التابع '‪ F‬الناتج عن عملية التبسيط السابقة نحصل على التابع‬
‫األصلي‪ ,‬وبتطبيق نظرية ديمورغان على مجاميع الجداء(‪)wy'+yz'+xy‬‬
‫نحصل على التابع األصلي بصيغة جداء مجاميع‪.‬‬

‫)'‪F=(F')'=(wy'+yz'+xy)=(w'+y)(y'+z)(x'+y‬‬

‫الصفحة ‪10‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬

 ‫المخطط منطقي لنتفيذ التابع ‪ F‬بصيغة جداء مجاميع‬

‫لتنفيذ التابع باستخدام بوابات ‪ NOR‬فقط‪ ,‬ننطلق من عالقة التابع بصيغة‬

‫جداء مجاميع )'‪ , F=(w'+y)(y'+z)(x'+y‬ثم نطيق المتمم مرتين‪ ,‬بتطبيق‬
‫المتمم أول مرة (وتطبيق نظرية ديمورغن '‪:((ABC)'=A'+B'+C‬‬

‫')'‪F'=((w'+y)(y'+z)(x'+y'))'=( w'+y)'+( y'+z)'+( x'+y‬‬

‫تمثل حدود العالقة السابقة )')'‪ ( ( w'+y)',( y'+z)',( x'+y‬بوابات ‪NOR‬‬

‫تفصل بينها عمليتان ‪ OR‬الرمز '‪ .'+‬بأخذ المتمم مرة ثانية نحصل على‬
‫التابع ‪ F‬وبسبب وجود العملية ‪ OR‬بين الحدود وأخذ المتمم نحصل على‬
‫عملية ‪ NOR‬بين حدود التابع '‪ F‬وبذلك يتم تنفيذ التابع باستخدام بوابات‬
‫‪ NOR‬فقط كما هو موضح بالشكل التالي‪:‬‬

‫تنجيز التابع باستخدام بوابات ‪ NOR‬فقط‪.‬‬

‫الصفحة ‪11‬‬ ‫أعداد‪ :‬م‪.‬طارق كنعان‬