حاسبة تبسيط الجبر المنطقي

تبسيط التعبيرات المنطقية وأهميتها الرياضية

يعد تبسيط التعبيرات المنطقية ركيزة أساسية في تصميم الأنظمة الرقمية وهندسة الحاسوب. تتيح أداة "Boolean Algebra Simplifier" اختزال أي تعبير منطقي إلى أبسط صيغ رياضية ممكنة. عند إدخال التعبير المنطقي في الأداة، تقوم فورًا بحساب وعرض صيغتين أساسيتين: مجموع المضروبات الأدنى (SOP) وجداء المجموعات الأدنى (POS).

إلى جانب هذه الصيغ المبسطة، تقدم الأداة تفصيلًا خطوة بخطوة يوضح مسار الاختزال الرياضي باستخدام طريقة Quine–McCluskey، مع سرد كامل لجميع المضمنات الأولية، وتوليد جدول حقيقة مفصل يتحقق من تطابق النتائج المبسطة مع التعبير الأصلي صفًا بصف.

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

---

صيغ الإدخال المدعومة والمعاملات المنطقية

تتميز الأداة بمرونة عالية في قبول مختلف أنماط الكتابة المستعملة في الهندسة، البرمجة، والمنطق الرياضي. يمكن كتابة المتغيرات كأحرف مفردة، ويصل الحد الأقصى للمتغيرات الفريدة إلى 6 متغيرات، مع حد أقصى لطول النص الإجمالي يبلغ 2,000 حرف.

تتوزع المعاملات المقبولة وطرق كتابتها على النحو التالي:

• بوابة AND (الضرب المنطقي): يمكن التعبير عنها ضمنيًا بكتابة الحروف متتالية مثل AB (حيث تُفسر المتتاليات مثل ABC على أنها A AND B AND C)، أو باستخدام النقطة A·B، أو النجمة A*B، أو الكلمة A AND B، أو الرمز البرمجي A && B.
• بوابة OR (الجمع المنطقي): تُكتب باستخدام علامة الجمع A + B، أو الكلمة A OR B، أو الرمز البرمجي A || B.
• بوابة NOT (النفي): يمكن التعبير عنها بوضع شرطة بعد المتغير A'، أو علامة التعجب !A، أو الكلمة NOT A، أو الرمز المنطقي ¬A.
• بوابة XOR (أو الاستقصائية): تُكتب بصيغة A ^ B أو A XOR B أو الرمز A ⊕ B.
• بوابة NAND: تُكتب بصيغة A NAND B أو الرمز ⊼.
• بوابة NOR: تُكتب بصيغة A NOR B أو الرمز ⊽.
• الثوابت: يُسمح باستخدام الثوابت الرقمية 0 و 1.

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

• "دمج الحدود" (مثال على قانون التوافق).
• "مضروب منفي" (مثال على قوانين دي مورغان).
• "بوابة XOR ثلاثية المداخل" (مثال على بوابة XOR المتعددة).

---

مخرجات التبسيط والتشخيص الرياضي

عند إدخال التعبير، تقوم الأداة بتحليله وعرض النتائج مقسمة إلى عدة أقسام تفصيلية:

1. قُرئ كـ

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

2. لمحة سريعة

لوحة تشخيصية تلخص الخصائص الرياضية للتعبير وتشمل:

• المتغيرات: قائمة بالمتغيرات المكتشفة في النص.
• الصفوف المساوية لـ 1: قائمة أو عدد الحدود الصغرى (minterms) التي تنتج قيمة حقيقية.
• المضمنات الأولية: العدد الإجمالي للمضمنات الأولية التي تم استخراجها.
• المضمنات الأولية الأساسية: عدد المضمنات الضرورية التي لا يمكن الاستغناء عنها لتغطية جدول الحقيقة.
• الحروف، قبل ← بعد: مقارنة عددية لعدد الحروف في التعبير الأصلي مقارنة بالتعبير المبسط.
• الطريقة: تعرض دائمًا "Quine–McCluskey، التغطية الدنيا الدقيقة".

3. كيف تم التبسيط

نص استدلالي يشرح خطوات الحل بالتفصيل:

• يحدد عدد المتغيرات وحجم جدول الحقيقة (مثال: "يستخدم التعبير ‹count› من المتغيرات (‹variables›)، لذا يحتوي جدول الحقيقة على ‹rows› من الصفوف.").
• يحدد صفوف الحدود الصغرى والكبرى: "يساوي 1 في الصفوف Σm(‹minterms›) و 0 في الصفوف ΠM(‹maxterms›).".
• يسرد المضمنات الأولية الناتجة عن دمج الصفوف المتجاورة: "يؤدي دمج صفوف الـ 1 المتجاورة قدر الإمكان إلى بقاء ‹count› من المضمنات الأولية: ‹list›.".
• يحدد المضمنات الأساسية: "المضمنات الأولية الأساسية — التغطية الوحيدة المتبقية لصف واحد على الأقل: ‹list›." (أو "لا يوجد مضمن أولي أساسي: يمكن تغطية كل صف يساوي 1 بأكثر من طريقة.").
• يوضح كيفية تغطية الصفوف المتبقية: "يتم تغطية الصفوف التي لا تزال غير مغطاة بأقل عدد من الحدود الإضافية: ‹list›." (أو "تغطي المضمنات الأولية الأساسية بالفعل كل صف يساوي 1، لذا فإن المجموع مكتمل.").
• يشرح استخراج جداء المجموعات: "يؤدي إجراء نفس الدمج على صفوف الـ 0 إلى الحصول على جداء المجموعات الأدنى ‹pos›.".
• يؤكد مطابقة النتائج: "يتطابق كلا الشكلين الأدنيين مع التعبير الأصلي في جميع صفوف جدول الحقيقة البالغ عددها ‹rows›.".

4. جدول الحقيقة

جدول كامل يعرض قيم المتغيرات، متبوعة بعمود للتعبير الأصلي تحت عنوان "التعبير"، وعمود للتعبير المبسط تحت عنوان "أدنى SOP"، للتحقق البصري من تطابق القيم في جميع الحالات. ويمكن للمستخدم نسخ الصيغة النهائية مباشرة عبر زر "نسخ النتيجة".

---

قواعد التحقق ورسائل الخطأ والحالات الخاصة

تتعامل الأداة مع المدخلات وفق قواعد صارمة لضمان دقة الحسابات وتنبيه المستخدم عند وجود أخطاء في الصيغة:

• تجاوز عدد المتغيرات: إذا احتوى التعبير على أكثر من 6 متغيرات فريدة، يظهر الخطأ: "يستخدم هذا التعبير ‹count› من المتغيرات المختلفة؛ يدعم المبسط ما يصل إلى 6.".
• تجاوز طول النص: عند إدخال نص أطول من 2,000 حرف، يظهر الخطأ: "يرجى إبقاء التعبير أقل من 2,000 حرف.".
• التعبيرات الثابتة: إذا كان التعبير يمثل تكرارًا منطقيًا (Tautology) أو تناقضًا (Contradiction)، تظهر رسالة "هذا التعبير ثابت: فهو يساوي دائمًا ‹value›.". وتفصيلها:
  • للتعبيرات التي تساوي دائمًا 1: "هذا التعبير يساوي دائمًا 1: كل توليفة من القيم تجعله صحيحًا.".
  • للتعبيرات التي تساوي دائمًا 0: "هذا التعبير يساوي دائمًا 0: لا توجد أي توليفة من القيم تجعله صحيحًا.".
• التعبيرات المبسطة مسبقًا: إذا كان التعبير في أبسط شكل له، تظهر رسالة: "تعبيرك هو بالفعل في صيغة مجموع المضروبات الأدنى.".
• الأخطاء الإملائية والنحوية:
  • حقل فارغ: "أدخل تعبيرًا منطقيًا.".
  • رموز غير مدعومة: "‹char›" (الموقع ‹position›) ليس معاملًا منطقيًا أو متغيرًا أو ثابتًا.".
  • معاملات معلقة: "هناك معامل يفتقد إلى قيمته بالقرب من الموقع ‹position› — تحقق من وجود + أو · أو ⊕ زائد في النهاية.".
  • عدم توازن الأقواس: "الأقواس غير متوازنة — أضف قوسًا أو احذفه.".

---

مقارنة بين صيغتي SOP و POS في التصميم الرقمي

في تصميم الدوائر الرقمية، يمثل اختيار الصيغة الرياضية المناسبة عاملًا حاسمًا في تحديد عدد البوابات المنطقية وتكلفة التصنيع.

---

خوارزمية Quine–McCluskey والمضمنات الأولية

تعتمد الأداة على خوارزمية Quine–McCluskey لإيجاد التغطية الدنيا الدقيقة. على عكس خرائط كارنوف (K-maps) التي تعتمد على الإدراك البصري البشري وتصبح بالغة التعقيد وصعبة الإدارة عندما يتجاوز عدد المتغيرات 4 متغيرات، فإن طريقة Quine–McCluskey هي طريقة جدولية خوارزمية يمكن حوسبتها بدقة لأي عدد من المتغيرات.

تبدأ العملية بجمع كافة الحدود الصغرى (minterms) التي تجعل التعبير مساويًا لـ 1، ثم دمج الحدود المتجاورة التي تختلف في متغير واحد فقط. تكرر هذه العملية حتى نحصل على "المضمنات الأولية" (Prime Implicants)، وهي الحدود التي لا يمكن دمجها بشكل إضافي. بعد ذلك، يتم تحديد "المضمنات الأولية الأساسية" (Essential Prime Implicants)، وهي المضمنات التي تغطي صفًا واحدًا على الأقل من صفوف الـ 1 لا يمكن تغطيته بأي مضمن آخر. أخيرًا، إذا تبقت صفوف غير مغطاة، يتم اختيار أقل عدد ممكن من المضمنات الإضافية لتغطيتها، مما يضمن الحصول على الصيغة الدنيا المطلقة.

---

الأسئلة الشائعة

لماذا يتم دعم 6 متغيرات كحد أقصى؟
تنتج المتغيرات الستة بالفعل جدول حقيقة مكونًا من 64 صفًا، وهو الحد الأقصى لما يمكن قراءته والتحقق منه يدويًا. أبعد من ذلك، يستمر التبسيط في العمل نظريًا، لكن الاستنتاج والجدول اللذين بنيت عليهما هذه الصفحة يتوقفان عن كونهما مفيدين كدليل مرئي. تعد برامج تصميم المنطق التي تدعم إخراج الملفات هي الأنسب للوظائف الأوسع.

كيف يتم العثور على الصيغة الدنيا؟
تبني الأداة جدول الحقيقة الكامل، وتدمج صفوف الـ 1 المتجاورة في مضمنات أولية (طريقة Quine–McCluskey)، وتحتفظ بالمضمنات الأساسية وتغطي أي صفوف متبقية بأقل تغطية دنيا دقيقة. النتيجة مضمونة كصيغة دنيا لشكل مجموع المضروبات — فهي ليست تقريبية — وتؤدي العملية نفسها على صفوف الـ 0 إلى إنتاج جداء المجموعات.

ما هي طرق كتابة التعبير المدعومة؟
جميع الاصطلاحات الشائعة، ممتزجة بحرية: الأسلوب الهندسي (AB + A'C، مع AND الضمنية والشرطة لـ NOT)، وأسلوب البرمجة (A &&!B || C، A ^ B)، والرموز المنطقية (¬ ∧ ∨ ⊕ ⊼ ⊽) والكلمات العادية (A AND B OR NOT C، NAND، NOR). تعني المتتاليات متعددة الأحرف مثل ABC التعبير A AND B AND C، وتُقرأ الكلمات AND و OR و NOT و XOR و NAND و NOR دائمًا كمعاملات.

ما الفرق بين نتيجتي SOP و POS؟
كلاهما يصف الوظيفة نفسها. يقوم مجموع المضروبات (SOP) بربط حدود AND معًا عبر بوابة OR، مثل AB' + BC، ويتحول مباشرة إلى دوائر AND–OR؛ بينما يقوم جداء المجموعات (POS) بربط حدود OR معًا عبر بوابة AND، مثل (A + B)(B' + C)، ويتحول إلى دوائر OR–AND. اعتمادًا على الوظيفة، قد يتطلب أحد الشكلين بوابات أقل من الآخر، لذا تعرض الأداة دائمًا كلا الشكلين.