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.


 

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

63722. Некоммерческие юридические лица 14.37 KB
  Некоммерческие юридические лица Общая характеристика некоммерческих юридических лиц заключается в том что они не имеют в качестве основной цели своей деятельности получение прибыли а так же не в праве распределять полученную прибыль между своими участниками.
63727. Формы собственности 15.96 KB
  Собственность –основа экономической системы. Собственность может быть государственной и частной Формы собственности: Государственная Коллективная Частная Собственность др. государств и международных организаций Совместная собственность Смешанная собственность...
63728. Понятие и содержание обязательств 15.15 KB
  Обязательственное право в широком смысле это часть гражданского права один из важнейших его институтов. Под обязательственным правом следует понимать совокупность гражданско-правовых норм регулирующих общественные отношения по перемещению материальных...
63729. Основания возникновения обязательств 13.54 KB
  Определенный круг отношений возникающих между субъектами гражданского права именуется обязательствами. По особенностям возникновения все обязательства делятся на договорные и внедоговорные. Договорные обязательства возникают на основе двух или многосторонних сделок...
63730. Виды обязательств 15.58 KB
  По передаче имущества: в зависимости от того передается ли имущество в собственность как в случаях с хозяйственным ведением и оперативным управлением делится на возмездные купля-продажа рента мена поставка и безвозмездные дарение если имущество...