Логический тип (boolean) ::= false true ::= ::= = > = in - любое выражение Паскаля, за исключением отношений Отрицание Обозначение операции: not (не) Запись. - презентация

1 Логический тип (boolean) ::= false true ::= ::= = > = <> in - любое виражение Паскаля, за исключением отношений Отрицание Обозначение операции: not (не) Запись операции: not a (читается: «не а», «не верно, что а») Семантика: операция not меняет логическое значение на противоположное. Это можно описать в виде такой таблицы: anot a truefalse true

2 Конъюнкция (логическое умножение) Обозначение операции: and (и) Запись операции: a and b (читается «a и b») (Замечание: операнды конъюнкции называются конъюнктами.) Семантика: конъюнкция дает истину только в одном случае - когда оба ее операнда истинны; если хотя бы один операнд ложен, то и конъюнкция ложная. (Это основное значение союза и: «и то и другое»). Точное определение конъюнкции дает следующая таблица: aba and b true false truefalse

3 Дизьюнкция (логическое сложение) Обозначение операции: or (или) Запись операции: a or b (читается «а или b») (Замечание: операнды дизъюнкции называются дизъюнктами.) Семантика: дизъюнкция истинна, если истинен хотя бы один ее операнд; дизъюнкция дает ложь только в одном случае - когда оба операнда ложны. (Это основное значение союза или: «то или другое»). Точное определение дизъюнкции дает следующая таблица: aba or b true falsetrue falsetrue false

4 1) При вычислении ЛВ действует следующий порядок вычисления: - сначала вычисляются простейшие ЛВ и подвиражения в скобках - затем выполняется not - потом выполняется and - далее выполняется or - и в конце выполняются операции отношения И, как обычно, операции одного старшинства выполняются слева направо. Например, в указанном ЛВ порядок вычисления следующий: not(x>y) or odd(k) and true or b ) Если ЛВ - это просто отношение, то оно пишется без круглых скобок b:=x>y, хотя можно использовать и скобки b:=(x>y). Но если отношение входит в состав какого-то другого виражения, то оно обязательно заключается в круглые скобки. Например, нельзя писать x=1 and z<0 Операция and имеет более высокий приоритет, чем операции сравнения, поэтому она выполняется в первую очередь: x=(1 and z)<0, т.е. получается, что здесь конъюнкция применяется к числам, что запрещено. Правильная запись этого виражения такова: (x=1) and (z<0)

5 3) в Паскале запрещено писать двойные неравенства типа 0

6 логическое виражение простое логическое виражение отношение простое логическое виражение логическое слагаемое or

7 логическое слагаемое логический множитель and логический множитель константа переменная функция логический множитель логическое виражение )( not

8 {константа, переменная, функция – логического типа} отношение скалярное отношение строковое отношение множественное отношение прост. лог. вираж.оп.сравн. прост. лог. вираж вираж.перечьь.типаоп.сравн. вираж.перечьь.типа арифм. виражениеоп.сравн. арифм. виражение литерное виражен.оп.сравн. литерное виражен. ссылочное виражен. =

9 оп. сравн. < >