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.


 

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

18590. Компонентно-ориентированные технологии 53.5 KB
  Компонентноориентированные технологии Появление компонентноориентированных технологий вызвано необходимостью повышения эффективности разработки сложных программных систем являющихся в условиях использования корпоративных и глобальных вычислительных сетей рас...
18591. Пример реализации компонентно-ориентированной технологии в САПР 36 KB
  Пример реализации компонентноориентированной технологии в САПР Основные идеи компонентноориентированной объектной технологии с созданием расширенных специализированных библиотек компонентов реализованы в системе CAS.CADE Computer Aided Software / Computer Aided Design Engineering фирмы Ma...
18592. Системные среды автоматизированных систем. Назначение системных сред автоматизированных систем 30.5 KB
  Системные среды автоматизированных систем Назначение системных сред автоматизированных систем Системы автоматизированного проектирования относятся к числу наиболее сложных и наукоемких АС. Наряду с выполнением собственно проектных процедур необходимо автоматизи...
18593. Системы управления базами данных 37.5 KB
  Системы управления базами данных В большинстве автоматизированных информационных систем применяют СУБД поддерживающие реляционные модели данных. Среди общих требований к СУБД можно отметить: 1 обеспечение целостности данных их полноты и достоверности; 2 защита дан
18594. Распределенные базы данных 35 KB
  Распределенные базы данных В крупных АС построенных на основе корпоративных сетей не всегда удается организовать централизованное размещение всех баз данных и СУБД на одном узле сети. Поэтому появляются распределенные базы данных РБД. При построении РБД приходитс
18595. Системные среды автоматизированных систем 30 KB
  Системные среды автоматизированных систем Применяют два способа тиражирования. Способ называемый репликацией первой копии основан на выделении среди серверов с копиями базы данных одного первичного сервера репликатора. Внесение изменений пользователями возможно
18596. Интеллектуальные средства поддержки принятия решений 26.5 KB
  Интеллектуальные средства поддержки принятия решений В общем случае полная формализация управления проектированием не может быть достигнута поэтому полезную роль играют системы DSS Decision Support Systems поддержки решений принимаемых людьми. В качестве таких систем часто и
18597. Функции систем PDM 58.5 KB
  Функции систем PDM Системы PDM предназначены для управления проектированием и его информационного обеспечения. Это осуществляется путем упорядочения информации о проекте и управления соответствующими документами включая спецификации и другие виды представления данны
18598. Структура технического обеспечения 40.5 KB
  Структура технического обеспечения Требования предъявляемые к техническому обеспечению Техническое обеспечение САПР включает в себя различные технические средства hardware используемые для выполнения автоматизированного проектирования а именно ЭВМ периферийные