صدق پذیری یا ارضاپذیری در دانش رایانه پرسمانی است که می پرسد آیا می توان ارزش متغیرهای فرمولی دودویی را به گونه ای یافت که فرمول درست باشد؟ بنابراین اگر چنین ارزش دهی پیدا شود، گوییم پرسمان صدق پذیر است. وگرنه، بی گمان این فرمول همواره نادرست است و گوییم که فرمول صدق ناپذیر است. برای نمونه، فرمول A ∧ B {\displaystyle A\land B} صدق پذیر است چون اگر ارزش های A {\displaystyle A} و B ...
