Основы современных компьютерных технологий

                

последовательность логических выражений, разделенных запятыми.


  • EQV(x,y) - эквивалентность;


    • 340

  • AND () - логическое И;


  • IMPLY(x,y) - логическая импликация;


  • ОР() - логическое ИЛИ.


    • Здесь х и у - логические выражения, а - последовательность логических выражений, разделенных запятыми. К символьным выражениям относятся:

  • переменные символьного типа;


  • выражения, в которых используются символьные переменные.


    • Объекты (переменные) в ТК Solver связываются между собой отношениями. В моделях допускается применение следующих видов отношений:

  • реляционные отношения, задаются путем явного перечисления элементов отношений и представляются в ТК Solver в форме таблиц или (при геометрической интерпретации бинарных таблиц) графиков;


  • отношения вычислимости, задаются в функциональной форме в виде предложений вычислимости, которые могут безусловными и условными.



    • Содержание  Назад  Вперед