حاسبة المنطق حاسبة مجانية ومفتوحة المصدر مصممة خصيصا لمساعدتك في تنفيذ مجموعة واسعة من التشغيل المنطقي ...
التحميل الان

حاسبة المنطق الترتيب والملخص

حاسبة المنطق العلامات

حاسبة المنطق وصف

آلة حاسبة المنطق هي تطبيق OS X التفسير الذاتي الذي يوفر الأدوات والميزات اللازمة لإجراء عمليات منطقية مختلفة. من النافذة الرئيسية للحاسبة المنطقية، ستتمكن من الوصول إلى ثلاث أوضاع مختلفة، وتقييم صيغة المنطق والتنازل المنطقي وتحويل الصيغة إلى النموذج العادي النموذجي (DNF) والنسخة العادية الملتحية (CNF). في الوضع الأول، يمكنك بسهولة استخدام العمليات المنطقية الأساسية مثل النفي، وانفصال، والاقتران، والأربطة، مشروطة، وإدخالها في صيغة المنطق. ستخرج حاسبة المنطق جدول الحقيقة ونماذج الصيغة. يساعدك الوضع الثاني في إدراج عدد من المباني إلى جانب الاستنتاجات التي ستعرض حاسبة المنطق التي ستعرضها جدول الحقيقة لكل استنتاج وفرضية. وبالتالي، ستتمكن من عرض ما إذا كانت المباني تنطوي بشكل منطقيا على الاستنتاجات المقدمة. يتيح الوضع الثالث للمستخدم إدخال صيغة المنطق وإنشاء تمثيله في كل من CNF و DNF. أداة حاسبة المنطق هي برنامج عبر منصة يمكن استخدامها على أي نظام أساسي يتميز بتوافق Java (E.G. Mac OS X، Linux، Windows).

حاسبة المنطق برامج ذات صلة