последовательность логических выражений, разделенных запятыми.
EQV(x,y) - эквивалентность;
340
AND () - логическое И;
IMPLY(x,y) - логическая импликация;
ОР() - логическое ИЛИ.
Здесь х и у - логические выражения, а - последовательность логических выражений, разделенных запятыми. К
символьным выражениям относятся:
переменные символьного типа;
выражения, в которых используются символьные переменные.
Объекты (переменные) в ТК Solver связываются между собой отношениями. В моделях допускается применение следующих видов отношений:
реляционные отношения, задаются путем явного перечисления элементов отношений и представляются в ТК Solver в форме таблиц или (при геометрической интерпретации бинарных таблиц) графиков;
отношения вычислимости, задаются в функциональной форме в виде предложений вычислимости, которые могут безусловными и условными.
Содержание Назад Вперед