Логические символы

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

Выходное событие логического знака «И» наступает в том случае, если все входные события появляются одновременно. Выходное событие логического знака «ИЛИ» происходит, если имеет место любое из входных событий.

Причинные связи, выраженные логическими знаками «И» и «ИЛИ», являются детерминированными, так как появление выходного события полностью определяется входными событиями. Имеются причинные связи, которые являются не детерминированными, а вероятностными.

Шестиугольник, являющийся логическим знаком запрета, используется для представления вероятностных причинных связей. Событие, помещённое под логическим знаком запрета, называется входным событием, в то время как событие, расположенное сбоку от логического знака, называется условным событием. Условное событие принимает форму события при условии появления входного события. Выходное событие происходит, если и входное и условное события имеют место, т.е. входное событие вызывает выходное событие с вероятностью (обычно постоянной) появления условного события.

Логический знак «приоритетное И» эквивалентен логическому знаку «И» с дополнительным требованием того, чтобы события на входе происходили в определённом порядке. Событие на выходе появляется, если события на входе происходят в определенной последовательности (слева направо). Появление событий на входе в другом порядке не вызывает события на выходе.

Логический элемент «исключающее ИЛИ» описывает ситуацию, в которой событие на выходе появляется, если одно из двух (но не оба) событий происходит на входе.

Логический знак голосования «m из n» имеет n событий на входе, а событие на выходе появляется, если происходит, по меньшей мере, m из n событий на входе.

В общем случае можно ввести новые логические знаки для представления специальных типов причинных связей. Следует отметить, что большинство специальных логических знаков можно заменить комбинацией логических знаков «И» либо «ИЛИ».

Таблица 2

Логические символы

№ п/п	Символ логического знака	Название логического знака	Причинная взаимосвязь
		Знак «И»	Выходное событие происходит, если все входные события случаются одновременно
		Знак «ИЛИ»	Выходное событие происходит, если случается любое из входных событий
		Знак «Запрет»	Наличие входа вызывает появление выхода тогда, когда происходит условное событие.
		Знак «Приоритетное И»	Выходное событие имеет место, если все входные события происходят в нужном порядке слева направо
		Знак «Исключающее ИЛИ»	Выходное событие происходит, если случается одно (но не оба) из входных событий
	n	Знак m из n (голосования или выборки)	Выходное событие происходит, если случается m из n входных событий