طلب منا الأستاذ برنامج يقوم بتبسيط المعادلات المنطقية (متغيرات a,b,c... عوامل operators → ↔ ▲ ▼ ¬)
حيث أن البرنامج أينما يجد الإستلزام أو التكافؤ يعوضهما حسب القواعد إلى النظام الكامل (▲ ▼ ¬)
عمل دالة الإستلزام كان سهلا وهي تعمل جيدا
عمل دالة نشر النفي (¬) كان أيضا سهل
وكذلك إلغاء نفيين مثل (a¬¬) لتصبح a
ما زالت مشكلتي مع دالة التكافؤ فهل أجد عند الأعضاء الكرام طريقة أو فكرة الحل
لأنها مليئة بالأخطاء عندي حيث يظهر لي دائما نتيجة غير متوقعة (غير صحيحة)
و جازاكم الله خيرا...