---
title: Satisfiability
localeTitle: Satisfiability
---
## Satisfiability

تعتبر الصيغة P **مقبولة** إذا كانت صحيحة في بعض **الأحيان** بالنسبة لبعض التخصيصات للصواب / الخاطئة للمتغيرات.

مثال:

*   x ^ y: is Satisfiable with x = T، y = T
*   xvy -> x: غير مقبولة مع x = T، y = F

إذا لم تكن هناك مهام ، فعندئذ تعتبر غير مرضية.

#### معلومات اكثر: