أو آي تي

OIT - مسألتان مشتقتان من المسألة العامة لقابلية الارتضاء.

بالضبط واحد من ثلاثة 
يعرف اختصارا بOIT وهو عبارة عن صيغة منطقية، تشبه في تكوينها وصيغتها 3SAT والسؤال هو: هل يوجد تعيين قيم للمتغيرات بحيث في كل قوس يكون بالضبط متغير واحد ذو قيمة موجبة؟

الاختصار 
يحول  من 3-سات لصيغة من OIT بإضافة خمس متغيرات جديدة للحصول على صيغة OIT :.

بالضبط واحد من ثلاثة رتيبة 
هو عبارة عن مسألة تشبه المسألة أعلاه، الفرق الوحيد هو كون المتغيرات تظهر موجبة أي لا نجد في الصيغة متغيرا ونفي المتغير.

مراجع 

أتمتة التصميم الإلكتروني
جبر منطقي
طرق شكلية
مسائل كثيرة حدود غير قطعية كاملة
نظرية التعقيد