جداول الحقيقة موضحة
← Backما هي جداول الحقيقة؟
جدول الحقيقة هو جدول رياضي يُستخدم في المنطق لتحديد قيمة الحقيقة لتعبير منطقي مركب لكل مجموعة ممكنة من قيم الحقيقة لمتغيراته المكونة. يوفر طريقة منهجية لتحليل العبارات المنطقية وتحديد صحتها.
تم تطوير جداول الحقيقة بواسطة لودفيج فتجنشتاين وإميل بوست في أوائل القرن العشرين كأداة لتحليل المنطق القضوي. أصبحت حجر الزاوية للوضعية المنطقية وتظل أداة أساسية في علوم الحاسوب وتصميم الدوائر الرقمية والمنطق الشكلي.
الغرض الأساسي من جدول الحقيقة هو تحديد الصحة المنطقية: ما إذا كانت الحجة أو التعبير المنطقي صحيحة دائمًا (تكرار منطقي)، أو خاطئة دائمًا (تناقض)، أو أحيانًا صحيحة وأحيانًا خاطئة (طارئة).
منهجية البناء
يتبع بناء جدول الحقيقة عملية منهجية تضمن فحص جميع الحالات الممكنة:
الخطوة 1: تحديد المتغيرات
حدد جميع المتغيرات القضوية الفريدة في تعبيرك. على سبيل المثال، في '(A ∧ B) → C'، توجد ثلاثة متغيرات: A و B و C.
الخطوة 2: حساب عدد الصفوف
عدد الصفوف المطلوبة يساوي 2^n، حيث n هو عدد المتغيرات. مع 3 متغيرات، تحتاج إلى 2³ = 8 صفوف لتغطية جميع التركيبات الممكنة.
الخطوة 3: إنشاء أعمدة المتغيرات
قم بإدراج جميع التركيبات الممكنة لقيم الحقيقة (صحيح/خاطئ أو 1/0) للمتغيرات. استخدم نمطًا منهجيًا: تبديل كل صف للمتغير الأيمن، كل صفين للتالي، كل 4 للتالي، وهكذا.
الخطوة 4: إضافة أعمدة وسيطة
للتعبيرات المعقدة، أضف أعمدة للتعبيرات الفرعية. هذا يجعل التقييم أسهل ويساعد في تحديد الأنماط.
الخطوة 5: تقييم التعبير
لكل صف، قم بتقييم التعبير الكامل باستخدام قيم الحقيقة من ذلك الصف. اعمل من العمليات الداخلية إلى الخارج، متبعًا أسبقية المشغل.
جداول الحقيقة لجميع المعاملات
كل معامل منطقي له نمط جدول حقيقة مميز خاص به:
NOT (النفي) - ¬
معامل NOT يعكس قيمة الحقيقة. إذا كان الإدخال صحيحًا، فإن الإخراج خاطئ، والعكس صحيح. هذا هو المعامل الأحادي الوحيد (إدخال واحد) في المنطق القضوي.
| A | ¬A |
|---|---|
| ⊥ | ⊤ |
| ⊤ | ⊥ |
AND (العطف) - ∧
معامل AND يعيد صحيحًا فقط عندما يكون كلا الإدخالين صحيحين. إذا كان أي إدخال خاطئًا، فإن النتيجة خاطئة. هذا يمثل العطف المنطقي حيث يجب استيفاء كلا الشرطين.
| A | B | A ∧ B |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
OR (الفصل) - ∨
معامل OR يعيد صحيحًا عندما يكون إدخال واحد على الأقل صحيحًا. يعيد خاطئًا فقط عندما يكون كلا الإدخالين خاطئين. هذا يمثل الفصل الشامل.
| A | B | A ∨ B |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊤ |
XOR (أو الحصري) - ⊕
معامل XOR يعيد صحيحًا عندما يكون إدخال واحد بالضبط صحيحًا، ولكن ليس كلاهما. يمثل الفصل الحصري حيث يجب أن تختلف الإدخالات.
| A | B | A ⊕ B |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊥ |
IMPLIES (الشرطي) - →
معامل الاستلزام يمثل 'إذا P إذن Q'. إنه خاطئ فقط عندما يكون المقدم (P) صحيحًا والتالي (Q) خاطئًا. قد يكون هذا غير بديهي: مقدمة خاطئة تجعل الاستلزام صحيحًا بشكل فارغ.
| A | B | A → B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
IFF (ثنائي الشرط) - ↔
معامل ثنائي الشرط يعيد صحيحًا عندما يكون للإدخالين نفس قيمة الحقيقة (كلاهما صحيح أو كلاهما خاطئ). يمثل 'إذا وفقط إذا'، مما يشير إلى التكافؤ المنطقي.
| A | B | A ↔ B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
NAND (ليس و)
NAND هو نفي AND. يعيد خاطئًا فقط عندما يكون كلا الإدخالين صحيحين. NAND هي بوابة عالمية - يمكن تنفيذ أي دالة منطقية باستخدام بوابات NAND فقط.
| A | B | A ⊼ B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊤ |
| ⊤ | ⊤ | ⊥ |
NOR (ليس أو)
NOR هو نفي OR. يعيد صحيحًا فقط عندما يكون كلا الإدخالين خاطئين. مثل NAND، NOR هي أيضًا بوابة عالمية.
| A | B | A ⊽ B |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊥ |
تقنيات التحليل
تتيح جداول الحقيقة تقنيات قوية لتحليل التعبيرات المنطقية:
التكرارات المنطقية
التكرار المنطقي هو عبارة صحيحة لجميع التعيينات الممكنة لقيم الحقيقة. في جدول الحقيقة، يحتوي العمود الأخير على قيم 'صحيح' فقط. مثال: P ∨ ¬P (قانون الثالث المرفوع).
التناقضات
التناقض هو عبارة خاطئة لجميع التعيينات الممكنة لقيم الحقيقة. يحتوي العمود الأخير على قيم 'خاطئ' فقط. مثال: P ∧ ¬P.
العبارات الطارئة
العبارة الطارئة هي تلك التي تكون صحيحة لبعض التعيينات وخاطئة لأخرى. معظم العبارات اليومية طارئة، حيث تعتمد حقيقتها على ظروف محددة.
التكافؤ المنطقي
تعبيران متكافئان منطقيًا إذا كانت لهما قيم حقيقة متطابقة لكل تعيين ممكن. ستكون أعمدة جدول الحقيقة الخاصة بهما متطابقة. هذا أساسي للتبسيط المنطقي.
صحة الحجة
الحجة صحيحة إذا كان، كلما كانت جميع المقدمات صحيحة، يجب أن تكون النتيجة أيضًا صحيحة. للتحقق من الصحة، ابحث عن أي صف حيث تكون جميع المقدمات صحيحة ولكن النتيجة خاطئة - إذا كان مثل هذا الصف موجودًا، فإن الحجة غير صحيحة.
طرق التبسيط
يمكن استخدام جداول الحقيقة كنقطة انطلاق لتبسيط التعبيرات المنطقية:
خرائط كارنوف (K-maps)
خرائط K هي طريقة مرئية لتبسيط التعبيرات المنطقية ب 2-4 متغيرات. يتم إعادة ترتيب جدول الحقيقة في شبكة حيث تختلف الخلايا المتجاورة بمتغير واحد فقط، مما يسهل اكتشاف الأنماط وتجميع الحدود للتبسيط.
- لمتغيرين: شبكة 2×2
- لـ 3 متغيرات: شبكة 2×4
- لـ 4 متغيرات: شبكة 4×4
خوارزمية Quine-McCluskey
هذه طريقة جدولية لتقليل التعبيرات المنطقية بشكل منهجي. إنها تعمل لأي عدد من المتغيرات وهي مفيدة بشكل خاص عندما تصبح خرائط K غير عملية (أكثر من 4 متغيرات). تجد الخوارزمية جميع المضمنات الأولية وتختار المضمنات الأولية الأساسية لإنشاء التعبير الأدنى.
تقليل التعبير المنطقي
الهدف هو تقليل عدد الحدود والحروف مع الحفاظ على التكافؤ المنطقي. هذا يقلل من تعقيد الدائرة، ويحسن الأداء، ويجعل التعبيرات أسهل للفهم.
التطبيقات
جداول الحقيقة لها تطبيقات عملية في العديد من المجالات:
تصميم الدوائر الرقمية
تُربط جداول الحقيقة مباشرة بدوائر البوابات المنطقية. كل صف يمثل مزيجًا ممكنًا من المدخلات، وعمود الإخراج يحدد سلوك الدائرة. يستخدم المهندسون جداول الحقيقة لتصميم والتحقق من الدوائر الرقمية قبل التنفيذ.
التحقق من البوابات المنطقية
انظر كيف تترجم جداول الحقيقة إلى أجهزة
اختبار البرمجيات (جداول القرار)
جداول القرار في اختبار البرمجيات هي في الأساس جداول حقيقة تربط الشروط بالإجراءات. إنها تساعد في ضمان تغطية اختبار شاملة من خلال فحص جميع مجموعات الشروط الممكنة بشكل منهجي.
تحسين استعلام قاعدة البيانات
يستخدم محسنو الاستعلام مبادئ جدول الحقيقة لتبسيط التعبيرات المنطقية في جمل WHERE، مما يحسن أداء الاستعلام عن طريق تقليل الشروط غير الضرورية.
أمثلة تفاعلية
جرب هذه الأمثلة باستخدام الآلة الحاسبة الخاصة بنا:
مثال 1: العطف البسيط
التعبير: A ∧ B - هذا صحيح فقط عندما يكون كل من A و B صحيحين.
| p | q | p → q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
مثال 2: قانون دي مورغان
قارن ¬(A ∧ B) مع (¬A ∨ ¬B) - إنها تنتج جداول حقيقة متطابقة، مما يوضح التكافؤ المنطقي.
| p | q | r | (p ∨ q) → r |
|---|---|---|---|
| ⊥ | ⊥ | ⊥ | ⊤ |
| ⊥ | ⊥ | ⊤ | ⊤ |
| ⊥ | ⊤ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊤ | ⊤ |
| ⊤ | ⊥ | ⊥ | ⊥ |
| ⊤ | ⊥ | ⊤ | ⊤ |
| ⊤ | ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ | ⊤ |
مثال 3: الاستلزام
التعبير: (A → B) ↔ (¬A ∨ B) - هذا يوضح التكافؤ بين الاستلزام وشكله الفصلي.
| p | q | p ∧ q |
|---|---|---|
| ⊥ | ⊥ | ⊥ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
مثال 4: أو الحصري
قارن (A ⊕ B) مع (A ∨ B) ∧ ¬(A ∧ B) - طريقتان مختلفتان للتعبير عن XOR.
| p | q | p ↔ q |
|---|---|---|
| ⊥ | ⊥ | ⊤ |
| ⊥ | ⊤ | ⊥ |
| ⊤ | ⊥ | ⊥ |
| ⊤ | ⊤ | ⊤ |
الأنماط الشائعة والاختصارات
يمكن أن يؤدي التعرف على هذه الأنماط إلى تسريع بناء وتحليل جداول الحقيقة:
- أي تعبير مع AND وخاطئ دائمًا خاطئ (إلغاء)
- أي تعبير مع OR وصحيح دائمًا صحيح (إلغاء)
- P ∧ P = P و P ∨ P = P (القدرة)
- P ∧ ¬P دائمًا خاطئ (تناقض)
- P ∨ ¬P دائمًا صحيح (تكرار منطقي - قانون الثالث المرفوع)
- ¬(¬P) = P (النفي المزدوج)
تمارين الممارسة
اختبر فهمك مع هذه التمارين:
- قم ببناء جدول حقيقة لـ: (A ∨ B) ∧ (¬A ∨ C)
- حدد ما إذا كان (A → B) → C مكافئًا لـ A → (B → C)
- أظهر أن (A ∧ B) ∨ (A ∧ ¬B) يتبسط إلى A فقط
- تحقق من قانون دي مورغان: ¬(A ∨ B) ≡ (¬A ∧ ¬B)