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