Boolean satisfiability problem
Definition of Boolean satisfiability problem:
-
Is the problem of determining if there exists an interpretation that satisfies a given Boolean formula. In other words, it asks whether the variables of a given Boolean formula can be consistently replaced by the values TRUE or FALSE in such a way that the formula evaluates to TRUE. If this is the case, the formula is called satisfiable. On the other hand, if no such assignment exists, the function expressed by the formula is FALSE for all possible variable assignments and the formula is unsatisfiable.
مشكلة الإرضاء المنطقية
تعريف مشكلة الإرضاء المنطقية:
-
مشكلة تحديد وجود تفاعل يرضي معادلة منطقية. ويعني ذلك إمكانية إحلال قيم صح أو خطأ محل متغيرات المعادلة المنطقية. وإن كانت القيمة صحيحة تكون المعادلة مرضية أما إن كانت خطأ تكون المعادلة غير مرضية.