مولد جداول الحقيقة
أداة قوية لإنشاء جداول الحقيقة للمنطق الاقتراحي.
تعليمات
أدخل بيان المنطق الاقتراحي باستخدام الأزرار. في الوقت الحالي، تتوفر خمس متغيرات اقتراحية فقط (p، q، r، s، t). لمزيد من المعلومات حول كيفية إدخال البيان بشكل صحيح في المولد، اذهب إلى قسم "كيفية استخدام المولد بشكل صحيح". بمجرد إدخال البيان، اختر نوع الجدول الذي تريده (صحيح/خاطئ) أو (1/0)، وانقر على إنشاء وسيتم إنشاء جدول الحقيقة تلقائيًا، وإذا كنت تريد حفظه يمكنك تنزيله كملف png.
كيفية استخدام المولد بشكل صحيح
إذا لم يتم إدخال البيان بشكل صحيح، لن يفهم البرنامج ولن يعالجه بشكل صحيح. تأكد من أن المقترحات والموصلات موضوعة بشكل صحيح وفقًا لقواعد المنطق الاقتراحي، وتأكد أيضًا من أن الأقواس موضوعة بشكل صحيح. الأقواس مهمة جدًا، لأنها تحدد الترتيب الذي يجب أن يبدأ البرنامج بالعمل عليه، إذا لم يتم وضعها بشكل صحيح، سيتخطى البرنامج خطوات أو قد لا يولد الجدول بشكل صحيح. إذا جربت الأمثلة التالية، ستلاحظ أن الثاني لا يعمل لأنه لا يحتوي على جميع الأقواس اللازمة:
- ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
- (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t
المشغلين المنطقيين المشمولين في هذا المولد
- ¬ - النفي
- ∧ - الاقتران
- ∨ - الفصل
- ⇒ - الشرط
- ⇔ - الشرط الثنائي
- ⊕ - الفصل الحصري
ادعم هذا الموقع
إذا كان هذا الموقع مفيداً لك، شاركه مع أصدقائك عبر البريد الإلكتروني، وسائل التواصل الاجتماعي،... إلخ.