Для реализации разветвляющегося алгоритма необходимо проверить выполнение заданных условий и выполнить нужную ветвь вычислений, в зависимости от результатов проверки.
Для проверки заданных условий в Mathcad используется: отношения, логические операции и логические выражения.
отношением называется конструкция вида:
арифметическое выражение 1 операция отношения арифметическое выражение 2
операции отношения – первые шесть из операций, взятых из палитры логический.

Выражение отношений может быть истинно (или 1) или ложно ( 0 )
С помощью логических операций можно конструировать логические выражения любой сложности.
Названия операций (слева направо): (отрицание, не, not), (логическое умножение, и, and), (логическое сложение, или, or), (исключающее или,xor).
Компонентами логических операций являются логические выражения, т. е. всё, что может быть истинно или ложно.
Смысл операций ясен из:
Операция not однокомпонентная: not0 = 1 not 1= 0
Остальные операции двухкомпонентные:
Операция: or 0 or0 = 0 Операция and 0 and 0 = 0 Операция xor 0 xor0 = 0
0or1 = 1 0 and1 = 0 1 xor 0 = 1
1 or0 = 1 1 and 0 = 0 0 xor 1 = 1
1 or 1 = 1 1 and 1 = 1 1 xor 1 = 0
Логическим выражением называется конструкция, состоящая из выражений отношений, логических операций и круглых скобок. Логическое выражение принимает только одно из двух значений: 1 или 0, вычисляется слева направо с учетом приоритета входящих в выражение операций. Наивысший приоритет имеют конструкции, заключённые в круглые скобки, затемand, orи xor – имеют одинаковый приоритет.
Для выбора нужной ветви разветвляющегося алгоритма используется конструкция, названная условной функцией if, которая имеет вид: