16 lines
495 B
Markdown
16 lines
495 B
Markdown
|
---
|
||
|
|
title: Satisfiability
|
||
|
|
localeTitle: Satisfiability
|
||
|
|
---
|
||
|
|
## Satisfiability
|
||
|
|
|
||
|
|
تعتبر الصيغة P **مقبولة** إذا كانت صحيحة في بعض **الأحيان** بالنسبة لبعض التخصيصات للصواب / الخاطئة للمتغيرات.
|
||
|
|
|
||
|
|
مثال:
|
||
|
|
|
||
|
|
* x ^ y: is Satisfiable with x = T، y = T
|
||
|
|
* xvy -> x: غير مقبولة مع x = T، y = F
|
||
|
|
|
||
|
|
إذا لم تكن هناك مهام ، فعندئذ تعتبر غير مرضية.
|
||
|
|
|
||
|
|
#### معلومات اكثر:
|