Una fbf es satisfacible syss hay alguna interpretación que es verdadera (en que dicha fbf es satisfecha). En términos prácticos, una fbf A es satisfecha syss hay al menos una fila de su tabla de verdad que la hace verdadera, es decir, syss A es o bien una contingencia o una tautología, es decir, una fbf A es satisfecha syss A tiene un modelo.
