أو آي تي

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

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

 مراجع 

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