72646

Логические выражения

Доклад

Информатика, кибернетика и программирование

Результатом логического выражения является величина типа LOGICAL. Простейшие формы логических выражений следующие: Логические константы. Ссылки на логические переменные. Ссылки на элементы логических массивов. Ссылки на логические функции. Выражения отношения.

Русский

2014-11-26

14.67 KB

2 чел.

Логические выражения.

Результатом логического выражения является величина типа LOGICAL. Простейшие формы логических выражений следующие : 
1. Логические константы. 
2. Ссылки на логические переменные. 
3. Ссылки на элементы логических массивов. 
4. Ссылки на логические функции. 
5. Выражения отношения.

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

------------T-----------------------------T--------------¬

|  Оператор |           Операция          |     Приоритет|

+-----------+-----------------------------+--------------+

|  .NOT.    |  Отрицание                  |  Наивысший   |

|  .AND.    |  Конъюнкция                 |  Средний     |

|  .OR.     |  Включающая дизъюнкция      |  Средний     |

|  .EQV.    |  Эквивалентность            |  Низший      |

|  .NEQV.   |  Неэквивалентность          |  Низший      |

L-----------+-----------------------------+---------------

    

Конъюнкция – и

Дизъюнкция – или

Импликация - приблизительный логический эквивалент оборота "если...,то... "

Операторы .AND., .OR., .EQV., .NEQV. не являются бинарными (двоичный, представленный элементами всего двух видов) и появляются между двумя операндами логических выражений. Оператор .NOT. – унарный (зависящий от одного аргумента, принимающий один операнд или иным образом связанный с единицей или относящийся к ней ) и предшествует своему операнду.

Операции равного приоритета выполняются слева направо, поэтому, например,

    A .AND. B .AND. C

Эквивалентно :

    (A .AND. B) .AND. C

Пример правила приоритета :

    .NOT. A .OR. B .AND. C

выполняется как :

    (.NOT. A) .OR. (B .AND. C)

Два .NOT. не могут соседствовать с друг другом, хотя

    A .AND. .NOT. B

- это пример допустимого выражения с двумя операторами подряд.

Другой пример правила приоритетов и использования .EQV. и .NEQV. :

    .NOT. A . EQV. B .OR. C .NEQV. D .AND. E

может быть выполнено как

    ((.NOT. A) .EQV. (B .OR. C)) .NEQV. (D .AND. E)

Логические операторы имеют тоже самое значение, что и в стандартной математической симантике с неразделительным .OR.. Например:

    .TRVE. .OR. .TRVE.

даст величину

    .TRVE.


 

А также другие работы, которые могут Вас заинтересовать

48938. Торгова марка. Стратегія торгових марок 25.61 KB
  Стратегією в широкому сенсі є певний набір заходів, розрахований на довгостроковий період та спрямований на досягнення певної мети. Стратегія торгової марки — це певний набір заходів щодо виведення торгової марки на ринок, її позиціонування з метою займання нею певної ніші на ринку