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