ДСМ-метод: различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Строка 112:
 
 
Теперь определим функцию H<ref name="strategies">Функция H может быть определеныопределена по другому в зависимости от стратегии (с запретом или без зепретазапрета на контр-примеры).</ref>. Положим:
 
<math> H(c, p) = \begin{cases}+1, & \text{если}M^+(F, c, p)\And \lnot M^-(F, c, p)\And \lnot M^0 (F, c, p),\\-1, & \text{если}M^-(F, c, p) \And \lnot M^+(F, c, p)\And \lnot M^0(F, c, p), \\ \quad 0, & \text{если}(M^+(F, c, p) \And M^-(F, c, p)) \lor M^0(F, c, p), \\ \quad \tau,& \text{если}\lnot M^+(F, c, p)\And \lnot M^-(F, c, p) \And \lnot M^0(F, c, p).\end{cases}</math>