- Логическое выражение – это запись составного логического высказывания с помощью логических переменных, значений, знаков логических операций и скобок.
- Приоритет выполнения операций:
- действия в скобках;
- инверсия «НЕ»;
- конъюнкция «И»;
- дизъюнкция «ИЛИ».
- Нормальная форма выражения не должна содержать отрицания.
- Для вычисления логического выражения нужно выполнить последовательно логические операции в соответствии с их приоритетом (начиная с операций со скобками).
- Логические выражения можно упростить, зная законы операций с константами (рис. а).
- Логические выражения можно преобразовать с помощью переместительного, сочетательного и распределительного законов (рис. б).
- Логические выражения используются для составления условий в программах (рис. в и г).
