حول Logic Calculator

ما هذا؟

هذه آلة حاسبة منطقية تدعم المنطق القضوي والمنطق البولياني. تساعد الطلاب والمحترفين على العمل مع التعبيرات المنطقية من خلال توفير أدوات التحليل والتصور والحساب.

الميزات

• فك وتصور تعبيرات المنطق القضوي
• دعم النفي والتضمين والاقتران والفصل والشرطي المزدوج
• التحقق مما إذا كانت التعبيرات قابلة للإشباع وصالحة
• إنشاء جداول الحقيقة الشاملة
• إنشاء أشجار تعبير بصرية
• توفير صياغات بديلة مكافئة

المنشئ

تم إنشاء هذه الآلة الحاسبة بواسطة Jonathan Søholm-Boesen كأداة تعليمية للطلاب الذين يدرسون المنطق وعلوم الحاسوب.

يتم صيانته بواسطة

تتم حاليًا صيانة وتطوير Logic Calculator بواسطة Infobits ApS، وهي شركة تطوير برمجيات تبني منتجات صديقة للخصوصية.

الغرض التعليمي

تهدف هذه الأداة إلى أن تكون موردًا تعليميًا لمساعدة الطلاب على فهم المنطق القضوي. على الرغم من أنها صُنعت في الأصل لدورة الحسابية والمنطق في جامعة آرهوس، إلا أنها غير مرتبطة رسميًا بالجامعة.