
حساب وتفسير نتيجة الصيغ المنطقية الافتراضية.
advertisement
الاسم | Logic Calculator |
---|---|
الإصدار | 1.1.4 |
تحديث | 26 سبتمبر 2023 |
الحجم | 19 MB |
الفئة | الأدوات |
عمليات التثبيت | 50آلاف+ |
مطوّر البرامج | Aulos Rafael |
Android OS | Android 6.0+ |
Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · الوصف
باستخدام هذا التطبيق ، يمكنك:
- التحقق مما إذا كانت سلسلة الأحرف عبارة عن صيغة جيدة التكوين (WFF) ؛
- الحصول على التدوين البولندي العادي (NPN) - أي تدوين البادئة - لصيغ المنطق الافتراضي ؛
- الحصول على الترميز البولندي العكسي (RPN) ، أي تدوين ما بعد الإصلاح - لصيغ المنطق الافتراضي ؛
- الحصول على الصيغ الفرعية لصيغ المنطق الافتراضي ؛
- الحصول على صيغة عادية مفصولة (DNF) وشكل عادي مترابط (CNF) لصيغ منطقية افتراضية ؛
- إنشاء جداول الحقيقة لصيغ المنطق الافتراضي ؛
- إسناد قيم الحقيقة إلى الرموز الافتراضية والحصول على تفسير معادلات المنطق الافتراضي.
علاوة على ذلك ، يمكنك اختيار أوامر أسبقية مختلفة للوصلات المنطقية.
- التحقق مما إذا كانت سلسلة الأحرف عبارة عن صيغة جيدة التكوين (WFF) ؛
- الحصول على التدوين البولندي العادي (NPN) - أي تدوين البادئة - لصيغ المنطق الافتراضي ؛
- الحصول على الترميز البولندي العكسي (RPN) ، أي تدوين ما بعد الإصلاح - لصيغ المنطق الافتراضي ؛
- الحصول على الصيغ الفرعية لصيغ المنطق الافتراضي ؛
- الحصول على صيغة عادية مفصولة (DNF) وشكل عادي مترابط (CNF) لصيغ منطقية افتراضية ؛
- إنشاء جداول الحقيقة لصيغ المنطق الافتراضي ؛
- إسناد قيم الحقيقة إلى الرموز الافتراضية والحصول على تفسير معادلات المنطق الافتراضي.
علاوة على ذلك ، يمكنك اختيار أوامر أسبقية مختلفة للوصلات المنطقية.