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.


 

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

8964. Вечные двигатели. Философский аспект проблемы 26 KB
  Вечные двигатели. Философский аспект проблемы. Во всех машинах и механизмах, прежде чем совершить работу, энергия переходит из одного вида в другой. Нельзя получить энергию одного вида больше чем другого при любых превращениях энергии - нельзя созда...
8965. Мартин Хайдеггер: вопрос о технике 26.5 KB
  Мартин Хайдеггер: вопрос о технике. Философию техники Хайдеггера не так легко выразить обобщенно, хотя она, несомненно, имеет схожие черты с философией техники Мэмфорда и, более углубленно, с воззрениями Ортеги-и-Гассета. Как и Мэмфорд, Хайдеггер пр...
8966. Жак Эллюль: Техника, или ставка века 29.5 KB
  Жак Эллюль: Техника, или ставка века В те годы, когда Хайдеггер формулировал свой Вопрос о технике, Жак Эллюль приступил к систематическому анализу LaTechnique (техника) как наиболее значительного социального феномена современною мира. По мнению...
8967. Хосе Ортега-и-Гассет: концепция философии техники 30.5 KB
  Хосе Ортега-и-Гассет: концепция философии техники. Ортега - первый профессиональный философ, обратившийся к проблематике философии техники. Ортега занялся проблемами философии техники одновременно с Мэмфордом. По мнению Ортеги, техника имманентна вс...
8968. Сходства и отличия наук о природе и об обществе 35 KB
  Сходства и отличия наук о природе и об обществе. Проблема разграничения наук о природе и социально-гуманитарных наук и определение предмета гуманитарного знания, которым посвящен первый вопрос, является важнейшей методологической проблемой современн...
8969. Наука как социальный институт 31.5 KB
  Наука как социальный институт. Наука как социальный институт возникла в Западной Европе в XVI—XVII вв. в связи с необходимостью обслуживать нарождающееся капиталистическое производство и претендовала на определенную автономию...
8970. Что такое культура 46 KB
  Что такое культура Существует несколько толкований происхождения и значения слова культура. В учебнике по философии Радугина А.А. термин культура рассматривается от латинского происхождения - cultura. По изложению Радугина, первоначально этот...
8971. Традиционная теория познания и классическая философия 35 KB
  Традиционная теория познания и классическая философия Традиционная теория познания, следовавшая в своем развитии и функционировании образцам и критериям наиболее развитых естественных наук, в первую очередь физики, по существу, не вводила время, тем...
8972. Характеристики взаимодействия науки, экономики и власти 44 KB
  Характеристики взаимодействия науки, экономики и власти Отношения науки и экономики всегда представляли собой большую проблему. Наука не только энергоемкое предприятие, но и в огромной степени финансово затратное. Она требует огромных капиталовложен...