الأشكال العادية للجبر المنطقي

من ويكيبيديا، الموسوعة الحرة

هذه المقالة بحاجة إلى إعادة كتابة باستخدام التنسيق العام لويكيبيديا، مثل استخدام صيغ الويكي، وإضافة روابط. الرجاء إعادة صياغة المقالة بشكل يتماشى مع دليل تنسيق المقالات. بإمكانك إزالة هذه الرسالة بعد عمل التعديلات اللازمة. وسمت هذه المقالة منذ: ديسمبر 2007

يوجد شكلان عاديان للجبر المنطقي:

1. مجموع المضاريب:

2. مضروب المجاميع:

[تحرير] أولاً:مجموع المضاريب:

في هذا الشكل يتكون التابع من مجموع حدود نسميها الحدود الأصغرية،ويرمز للمتحول غير المنفي بالرمز(1)والمتحول المنفي (0) وترتبط المتحولات فيما بينها بارتباط من النوع ANDوترتبط الحدود مع بعضها بعلاقة OR.

الحد الأصغري:الحد الذي يحوي جميع متحولات التابع منفية أو غير منفية بشكل إفرادي والعلاقة بين هذه المتحولات هي علاقة جداء منطقي.

ملاحظة: هذا الحد ليس أصغري.

هذا الحد أصغري.

مثال(1): أوجد التابع الممثل في الجدول التالي:

ننظر إلى قيم التابع التي يكون عندها غير منفي (يساوي1) وعند كل واحد نربط المتحولات مع بعضها بعلاقة AND و نربط الحدود مع بعضها بعلاقة OR فيصبح التابع بالشكل:

[تحرير] ثانياً:مضروب المجاميع:

في هذا الشكل يتكون التابع من جداء حدود نسميها الحدود الأعظمية،ويرمز للمتحول غير المنفي بالرمز(0)والمتحول المنفي (1) وترتبط المتحولات فيما بينها بارتباط من النوع ORوترتبط الحدود مع بعضها بعلاقةAND.

الحد الأعظمي:هو الحد الذي يحوي جميع متحولات التابع منفية أو غير منفية بشكل إفرادي والعلاقة بين هذه المتحولات هي علاقة جمع منطقي.

ملاحظة: هذا الحد ليس أعظمي.

هذا الحد أعظمي.

في المثال السابق ننظر إلى قيم التابع التي يكون عندها منفي ( يساوي0) وعند كل صفر نربط المتحولات مع بعضها بعلاقة OR ونربط الحدود مع بعضها بعلاقة AND فيصبح التابع بالشكل:

ملاحظة: نستخدم الشكل العادي الأول عندما يكون عدد الواحدات أقل من عدد الأصفار ونستخدم الشكل العادي الثاني عندما يكون عدد الأصفار أقل من عدد الواحدات.

مثال(2): أوجد الصيغة الرياضية للتابع المنطقي المعرف بالجدول التالي:

في هذا التابع عدد الواحدات يساوي عدد الأصفار. وبالتالي يكون التابع بصيغة مجموع المضاريب هو:

وبصيغة مضروب المجاميع هو:

من العلاقة السابقة نجد:

ولكن:

ومنه أي أن الصيغتين متساويتين.

ملاحظة:في جميع التوابع تكون الصيغتان متساويتين.

مثال(3): أوجد الصيغة الرياضية للتابع المنطقي المعرف بالجدول التالي

نلاحظ أن عدد الأصفار أقل من عدد الواحدات لذلك نستخدم طريقة مضروب المجاميع:

[تحرير] المرجع:

النظم المنطقية والدارات المنطقية للدكتور فادي فوز