книги из ГПНТБ / Соловейчик, Р. Э. Программирование на АЛГОЛ-60 учеб. пособие

30

Естественным обобщением условного оператора является полный условный оператор, который имеет приводимую ниже общую форму

if отношение then. else S2

где s1 - любой оператор, но только не условный,Р Зг - лю­ бой оператор (без всяких ограничений).

В отличие от условного оператора, полный условный опера­ тор работает не только тогда, когда отношение истинно, но и тогда, когда оно ложно , причем он.прямо указывает, какой оператор должен выполняться в этом случае. Так, в приведенной общей форме полного условного оператора при истинности отно­ шения выполняется оператор 3i , а оператор 32 пропус­ кается; если же отношение ложно, то пропускается оператор

, а выполняется оператор зг . Далее в обоих случаях управление передается тому оператору, который стоит после s2 (если, конечно, ни S-r , ни з2 не содержат в себе опе­ ратора перехода). Стоит подчеркнуть, что как условный, так и полный условный операторы могут быть использованы при реше­

единственное; здесь приводится один вариант его решения с использованием условного оператора и два варианта - с исполь­ зованием полного условного оператора:

Все приведенные операторы решают поставленную задачу, и все эти решения равноценны.

Как уже указывалось в простом условном4операторе после

31

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

Рассмотрим сначала вложение условного оператора в пол­ ный условный оператор

if R, then 31 else if Rg then Sg . 3^ ;

Действие этой конструкции заключается в том, что просматрива­

Теперь рассмотрим вложение полного условного оператора в полный условный оператор:

if R1 then Si else if Rg then З2 else З3 ; Зд ;

Действие этой конструкции заключается в том, что просматрива­ ются все отношения слева направо; если найдено истинное от­ ношение, то выполняется следующий за ним безусловный опера-

—32 -

тор, а остальные условные операторы пропускаются; если все отношения ложны, то выполняется оператор, следующий за пос­

Проиллюстрируем применение этих конструкций следующим приме­ ром. Пусть где-то в программе нужно предусмотреть выполнение

else go to unusual • flag : = 1 ;

при этом будем считать, что переменной а уже црисвоено значение одним из предыдущих операторов присваивания, но само зто значение нам неизвестно

Наконец, условие бывает очень удобно для выполнения условной передачи управления. Например, в некоторой программе мы хотим

Булевские выражения

С простейшим видом булевских выражений, а именно с отно­ шениями, мы ухе познакомились. Булевские выражения почти ана­ логичны арифметическим. Напомним, что арифметические выраже­

ния строятся из чисел, переменных и функций в комбинации с арифметическими операциями и круглыми скобками.

Булевские выражения строятся совершенно аналогично из ло­ гических значений true и f a l s e , булевских переменных,

булевских фунт 1ий и отношений в- комбинации с арифметическими

и логическими операциями и круглыми скобками.

Логические операции определяются'своими таблицами истин­ ности, введение которых не входит в предмет М Г О Л -SO, а состав­ ляет часть курса математической логики. Там определены следую­ щие пять логических операций и установлены символы для них:•

35

Эти операции полностью определяются приводимой таблицей истин­ ности.

В,,этой таблице И - означает "истинно" или true ,

Л - "ложно" или false.

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

Операция считается старшей по порядку, если ее порядок меньше. Поясним использование этого правила примерами.

Пусть ухе выполнены операторы присваивания

В: = tru e ; Р; = false ; Gi = tru e . Hi * true ;