Краткие теоретические сведения

На практике решение большинства задач не удается описать с помощью программ линейной структуры. Такая ситуация возникает тогда, когда решение задачи зависит от какого-либо условия. При этом после проверки некоторого условия выполняется та или иная последовательность операторов, т.е. происходит нарушение естественного порядка выполнения операторов. Для этих целей используют базовую конструкцию ветвления (рисунок 3) и управляющий условный оператор.

Рисунок 3 – Блок-схема алгоритма ветвящегося процесса

Условный оператор используется для реализации разветвлений в программе, которые происходят при выполнении некоторого условия и имеет следующую структуру

if <логическое выражение> then серия1 else серия2;

Данная запись читается как: если <логическое выражение> то … иначе … .

Если логическое выражение, выступающее в качестве условия, принимает значение true (истина), то выполняются операторы, расположенные после then (серия 1), если false (ложь) - операторы, следующие за else (серия2).

Примеры реализации конструкций ветвления на языке Паскаль приведены в таблице 4. Если каждая ветвь содержит только один оператор, то применяется вариант А. В случае если серия содержит более одного оператора, то она должна заключаться в операторные скобки begin … end. (вариант B). В качестве оператора следующего после then или после else может идти также условный оператор (вариант C).

При записи логического выражения следует избегать знака = (равно) для действительных (вещественных) переменных, так как они представляются с некоторой точностью (до определенного знака), а поэтому может не произойти совпадений значений выражений, стоящих слева и справа от знака равно. Для устранения указанного недостатка следует требовать выполнения условия с заданной точностью, т.е. вместо отношения x = y рекомендуется, например, использовать такой прием:

Abs(x - y) < 1E-8.

Абсолютная разница не превышает некоторой весьма малой величины.

Таблица 4 – Примеры реализации условных конструкций

Поскольку развилка может быть неполной, т.е. требуется рассмотрение только одного варианта, то возможна и неполная форма записи условного оператора:

if <логическое выражение> then серия;

Условный оператор реализует разветвление вычислительного процесса по двум направлениям, одно из которых осуществляется при выполнении условия, другое - в противном случае. Для реализации разветвлений более чем по двум направлениям необходимо использовать несколько условных операторов или оператор варианта case.

Во многих практических задачах логическое выражение формируется из некоторого набора простых условий, объединяемых друг с другом логическими функциями «НЕ» (инверсия), «И» (конъюнкция) и «ИЛИ» (дизъюнкция). Например, если x>0 и y>0, то точка находится в первом квадранте. Если вероятность событияне менее 0 и не более 1, то она посчитана правильно.

Эти смысловые союзы образуют смысловую логическую связку двух или более условий в одно. В программировании они называются логическими функциями. Основных логических функций четыре:

AND (ЛОГИЧЕСКОЕ И);

OR (ЛОГИЧЕСКОЕ ИЛИ);

NOT (ЛОГИЧЕСКОЕ НЕ);

XOR (ИСКЛЮЧАЮЩЕЕ ИЛИ).

Принцип работы логических функций поясняют так называемые таблицы истинности, которые позволяют увидеть, какое значение примет та или иная логическая функция при различных входных условиях (таблица 5).

Логические функции могут принимать только одной значение из двух - ИСТИНА или ЛОЖЬ (true - false). Часто истинность обозначают цифрой 1, а ложность - цифрой 0.

Таблица 5 – Таблица истинности основных логических функций

Функция отрицания «НЕ» дает всегда противоположное исходному значение. Функция «И» истинна только в том случае, когда оба связанных условия истинны. Функция «ИЛИ» истинна, если хотя бы одно из связываемых условий истинно. Функция «Исключающее ИЛИ» истинна только когда истинно только одно из условий. При использовании логических функций в языке Паскаль требуется заключение связываемых условий в обычные скобки.

Поясним использование рассмотренных логических функций на следующем примере.

Пример. Даны действительные числа x, y. Если x и y отрицательны, то каждое значение заменить модулем; если отрицательно только одно из них, то оба значения увеличить на 0,5; если оба значения неотрицательны и ни одно из них не принадлежит отрезку [0,5; 2,0], то оба значения уменьшить в 10 раз; в остальных случаях x и y оставить без изменения.