Логическое выражение
-
Определение логического выражения
- Логическое выражение в информатике возвращает логическое значение.
- Логическое значение может быть истинным или ложным.
-
Структура логического выражения
- Включает логические константы, переменные, операторы и функции.
- Соответствует пропозициональным формулам в логике.
-
Логические операторы
- В большинстве языков программирования используются стандартные операторы OR, AND, NOT.
- В некоторых языках есть два набора операторов с разным приоритетом.
- В PL/I и производных языках операторы используются для логических и побитовых операций.
-
Операторы короткого замыкания
- В Ada и других языках есть операторы, которые не вычисляют правую часть, если левая часть определена.
-
Примеры логических выражений
- Выражение 5 > 3 возвращает истину.
- Выражение 3 > 5 возвращает ложь.
- Выражения 5 >= 3 и 3 <= 5 эквивалентны и оба возвращают истину.
-
Вариации логических выражений
- Часто содержат переменные, например, X > Y.
-
Ссылки и дополнительная информация
- Упоминание «Логического исчисления» Джорджа Буля и других связанных терминов.