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