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.


 

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

79385. ПРЕДНАЗНАЧЕНИЕ И ЗАДАЧИ ГО. СТРУКТУРА И ОРГАНЫ УПРАВЛЕНИЯ. КЧС И ПБ 60 KB
  Определяет: задачи и правовые основы их осуществления; правовое регулирование в области гражданской обороны; принципы организации и ведения гражданской обороны; полномочия органов государственной власти Российской Федерации органов исполнительной власти субъектов Российской Федерации...
79386. ЯДЕРНОЕ ОРУЖИЕ И ЕГО ПОРАЖАЮЩИЕ ФАКТОРЫ 36 KB
  Световое излучение – поток лучистой энергии: ультрафиолетовые, инфракрасные видимые лучи. Вызывает ожоги, поражение органов зрения, возгорание горючих веществ. Время действия – 20 секунд. Защита: непрозрачные материалы, убежища, различные преграды.
79387. ХИМИЧЕСКОЕ И БАКТЕРИОЛОГИЧЕСКОЕ (БИОЛОГИЧЕСКОЕ ОРУЖИЕ) 41 KB
  Поражают нервную систему через органы дыхания и кожу, желудочно-кишечный тракт. Стойкость: летом – сутки; зимой – несколько недель и даже месяцев Признаки: слюнотечение, сужение зрачков (миоз), затруднение дыхания, тошнота, рвота, судороги, паралич.
79388. Газовые законы. Уравнение состояния идеального газа. Молярная газовая постоянная 54.89 KB
  Уравнение состояния идеального газа. Средняя кинетическая энергия молекул идеального газа с помощью формулы Больцмана может быть выражена через температуру: Подставляя это выражение в основное уравнение молекулярно-кинетической теории...
79389. История атомистических учений. Наблюдения и опыты, подтверждающие атомно-молекулярное строение вещества. Масса и размеры молекул 22.61 KB
  Наблюдения и опыты подтверждающие атомно-молекулярное строение вещества. Среди трудов крупных философов-физиков занимавшихся учением о молекулярном строении вещества особую роль сыграли труды великого русского учёного М. Строение вещества дискретно прерывисто.
79390. Тепловое движение. Абсолютная температура как мера средней кинетической энергии частиц 41.99 KB
  Опытные данные лежащие в основе молекулярно-кинетической теории служат наглядным доказательством молекулярного движения и зависимости этого движения от температуры. Опыт явился одним из первых практических доказательств состоятельности молекулярно-кинетической теории строения вещества.
79391. Объяснение агрегатных состояний вещества на основе атомно-молекулярных представлений 114.02 KB
  Ещё в четвёртом веке до н.э. было известно, что свойства вещества определяются свойствами его атомов молекул. Прошло двадцать четыре века но информация о структуре вещества полученная за это время не сказалась на основных положениях физики определяющих агрегатное состояние вещества.
79392. Модель строения жидкости. Насыщенные и ненасыщенные пары. Влажность воздуха 97.31 KB
  Основным свойством жидкости отличающим её от других агрегатных состояний является способность неограниченно менять форму под действием касательных механических напряжений даже сколь угодно малых практически сохраняя при этом объём.
79393. Поверхностное натяжение. Смачивание и несмачивание. Капиллярность 167.81 KB
  Наиболее характерным свойством жидкости отличающим ее от газа является то что на границе с газом жидкость образует свободную поверхность наличие которой приводит к возникновению явлений особого рода называемых поверхностными.