Logic Calculator

باستخدام هذا التطبيق ، يمكنك:

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

علاوة على ذلك ، يمكنك اختيار أوامر أسبقية مختلفة للوصلات المنطقية.