الجبر المنطقي - أداة شاملة لحل التعبيرات المنطقية
الجبر المنطقي هو تطبيق قوي وشامل يتيح للمستخدمين حل التعبيرات البولية المعقدة بسهولة. تم تطوير هذا التطبيق بواسطة غوراف ماثور، وقد حقق نجاحًا كبيرًا على منصات سطح المكتب والآن متاح لمستخدمي iPhone.
يقدم هذا التطبيق مجموعة واسعة من الميزات لمساعدة المستخدمين في العمل مع التعبيرات البولية بفعالية. يمكن للمستخدمين تحديث خرائط K مباشرة واستنتاج حلول مصغرة متعددة، بدلاً من واحد فقط. كما يسمح التطبيق للمستخدمين بتحديث جداول الحقيقة وتوليد قيم خريطة K مصغرة، ودوائر مقابلة، وأكثر من ذلك بكثير.
إحدى الميزات المميزة للجبر المنطقي هي القدرة على عرض والتفاعل مع الدائرة المصغرة. يمكن للمستخدمين التبديل بين جميع الحلول المصغرة المتاحة والنقر على اسم متغير في الدائرة سيقوم بتبديل قيمته، محدثًا الدائرة وفقًا لذلك.
بالإضافة إلى هذه الميزات، يوفر التطبيق أيضًا خيارات لعرض مجموع المنتجات، ومنتج المجموعات، والحد الأدنى للمصطلحات، والحد الأقصى للمصطلحات. يتضمن أقسام تفاعلية لمعرفة المزيد عن جميع البوابات مثل AND، OR، NOT، XOR، XNOR، NAND، وNOR.
يقدم الجبر المنطقي أيضًا مرونة تغيير ترتيب المتغيرات في خريطة K ويدعم الوضع الداكن لتجربة مشاهدة أكثر راحة.
لدى المطور خططًا لتعزيز التطبيق بمزيد من الميزات المقبلة مثل البحث السريع عن الحلول المصغرة، والتحقق السهل من الإجابات مع الشروحات، وخيار توليد الدوائر باستخدام البوابات العالمية، ودعم قيم
