اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
المسألة الخاصة هو البحث عن قيم المتغيرات بحيث تكون الصيغة صحيحة يعني أن كل قوس يجب أن يكون صحيحا يعني أن يكون هناك على الأقل متغير في كل قوس له القيمة 1 نعم صحيح.
محاولة تجريب كل الاحتمالات الممكنة يحتاج لوقت أسي .