Formalmente tou problema puede amenorgase a una terna ( S , C ( ) , r ) {displaystyle (S,C(),r),} onde S {displaystyle S,} ye un conxuntu doxetos, C ( s ) {displaystyle C(s),} ye una condición (o condiciones) tal que dáu s ∈ S {displaystyle sin S} puede o nun ser satisfechu (pa ello la condición tien de ser una fórmula lóxica bien formada y zarrada).