Логические выражения

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

Порядок вычислений логических выражений:

1. Выражения в скобках
2. Операция НЕ
3. Операция И
4. Операции ИЛИ, исключающее ИЛИ
5. Импликация
6. Эквиваленция

Пример построения логического выражения

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

Обозначим:

• A — «Датчик № 1 неисправен»
• B — «Датчик № 2 неисправен»
• C — «Датчик № 3 неисправен»

Аварийный сигнал X — «Неисправны два датчика»:

X = (A·B·¬C) + (A·¬B·C) + (¬A·B·C)