اختبار سالي-آن
اختبار سالي-آن هو اختبار نفسي أجريَ عام 1985، يستخدم في علم النفس التنموي لقياس القدرة الإدراكية الاجتماعية للشخص على إسناد الاعتقادات الخاطئة لاعتقادات الآخرين. منفذوا الاختبار هم "سيمون بارون كوهين"، "آلن إم. ليزلي"، و"أوتا فريث". في عام 1988، كرر ليزلي وفريث التجربة بأدوار بشرية (بدلاً من الدمى) ووجدوا نتائج مماثلة.
3-سات
3 سات اسم يطلق على نوع من المسائل الرياضياتية والمعلوماتية في ميدان المنطق. تسمى المسألة 3 سات 3 SAT اختصارا ل 3 satisfiability
.و تبحث هذه المسألة في ما إذا كانت جملة منطقية من نوع Conjunctive normal form تتكون من 3 متغيرات قابلة لأن تكون صحيحة.
مسألة 3SAT هي مسألة مشتقة من المسألة العامة SAT، حيث في كل قوس يوجد ثلاث متغيرات بالضبط. وهي أيضا من المسائل NP الكاملة.
يمكن هذا الاختصار من البرهنة على أن 3SAT هو أيضا مسألة NP كاملة، ويتم كما يلي:و هذا الاختصار يتم في وقت حدودي، مع ملاحظة أن قيم المتغيرات في SAT هي نفسها قيم 3SAT. كما أن المتغيرات التي يتم اضافتها خاصة بكل عبارة clause.