خشنودی‌پذیری
همچنین شناخته شده با: صدق‌پذیری, صدق پذیری، ارضاء پذیری
برابر انگلیک (انگلیسی): satisfiability


تاربرگ‌های پیموده‌شده در این نشست: روت بارکان مارکوس ⟩ استواره‌هایی درباره‌ی افماریک گزاره‌ای لوئیس و هیتینگ ⟩ بنداشت T ⟩ برنامه‌ی هیلبرت ⟩ زیرهنگرد ⟩ جابجایی