En théorie de la complexité, le problème de la satisfactibilité -LRB- SAT -RRB- est un problème de décision, dont l'instance est une expression booléenne écrite en utilisant seulement ET, OU, NON, des variables et des parenthèses.
Le problème de la satisfaction booléenne est une sorte de problème.