الكتروثية مجموعة من أدوات المنطق منطقية
التحميل الان

الكتروثية الترتيب والملخص

الكتروثية العلامات

مكتبة بيثون مكتبة منطق منطقية المنطق البوليني

الكتروثية وصف

مجموعة من أدوات المنطق منطقية الكهربائي هو مجموعة من أدوات المنطق المنطقي. يمكن استخدامه كأداة سطر الأوامر ومكتبة بيثون. يفهم الجبر المنطقي (إلى حد ما) ويمكن استخدامه لتبسيط التعبيرات المنطقية باستخدام طريقة QUINE-MCCLUSKY.Ectruth يمكن أن تكون مفيدة إذا كان لديك جدول الحقيقة في حاجة إلى تقصير أساسي. يمكن أيضا استخدام الكهرباء لمقارنة التعبيرات المنطقية، والتي يمكن أن تكون مفيدة للغاية إذا كنت بحاجة إلى مقارنة جدول الحقيقة مع التخطيطي الذي قمت بإنشائه بناء على جدول الحقيقة هذا. يمكن أيضا استخدام الكهرباء على "تدمير" التعبيرات المنطقية المعقدة في تلك أبسط منها أكثر بساطة والتي تتكون فقط من An و ORS و Nots.Installingway # 1 لم يتم تشغيل هذا (يتطلب منك تثبيت Python-Setuptools): Sudo Easy_Install Interuthway # 2 اجعل أحدث إصدار من الكهربائي على http://metanohi.org/projects/electruth/ أو على http://pypi.python.org/pypi/electruthextract الملف الذي تم تنزيله وتشغيل هذا في محطة: Python Setup.py Installustustalling Electronuth قم بتثبيت الأداة المساعدة لسطر الأوامر اسمه بالكتروث. يحتوي هذا البرنامج على العديد من الإعدادات، ومنصصى بتشغيل Electruth - Help للحصول على نظرة عامة عليهم. يقوم البرنامج بإنشاء تعبيرات منطقية من أي مدخلات تعطيهها. إذا أعطيتها أكثر من إدخال واحد، فسوف تقارن المدخلتين (ما لم تقول ذلك إلى عدم القيام بذلك). يتم دعم العديد من المدخلات: * التعبيرات المنطقية الأساسية (مثل A و (B أو C) أو A * (B + C) (نفس الشيء)) * الصدق، باستخدام علامة التبويب مفصولة (.tsv) أو فاصلة مفصولة (.csv) القيم في ملف، الصف الأول يحدد أسماء المدخلات والمخرجات باستخدام <

الكتروثية برامج ذات صلة