logo search
lektsii2

Логические операции при анализе безопасности систем

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

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

Другими словами, операция «И» означает: перед тем, как произойдет событие А, должны произойти оба события Б и В. операция «ИЛИ» означает, что событие Г будет иметь место, если произойдет хотя бы одно из событий Д или Е (или оба).