Satisfierbarhet är ett begrepp inom logik och datavetenskap som beskriver egenskapen hos ett formellt uttryck, ofta en boolesk formel, att det existerar minst en tilldelning av sanningsvärden till dess variabler som gör hela uttrycket sant. Om en sådan tilldelning finns, sägs formeln vara satisfierb.