В информатике , логическое выражение является выражение используется в языках программирования , который производит значение Boolean при оценке. Логическое значение может быть истинным или ложным . Логическое выражение может состоять из комбинации булевых констант истинные или ложные , булева типизированных переменных, булевозначных операторов и булевозначных функций . [1]
Булевы выражения соответствуют пропозициональным формулам в логике и представляют собой особый случай из цепей булевых . [2]
Логические операторы [ править ]
В большинстве языков программирования есть логические операторы OR , AND и NOT ; в C и некоторых новых языках они представлены символом "||" (двойной символ вертикальной черты), «&&» (двойной амперсанд ) и «!» ( восклицательный знак ) соответственно, в то время как соответствующие побитовые операции представлены символами «|», «&» и «~» (тильда). [3] В математической литературе часто используются символы «+» ( плюс ), « · » ( точка ) и черта над чертой , или «∨» (чашка), «∧». (заглавная буква) и «¬» или «′» (штрих).
Примеры [ править ]
- Выражение
5 > 3
оценивается какправда. - Выражение
3 > 5
оценивается какложный. 5>=3
и3<=5
являются эквивалентными логическими выражениями, оба из которых оцениваются какправда.typeof true
иtypeof false
вернутьсялогический- Конечно, большинство логических выражений будут содержать по крайней мере одну переменную (
X > 3
), а часто и несколько (X > Y
).
См. Также [ править ]
Ссылки [ править ]
- ^ Грис, Дэвид ; Шнайдер, Фред Б. (1993), "Глава 2. Булевы выражения", Логический подход к дискретной математике , Монографии по компьютерным наукам, Springer, стр. 25ff, ISBN 9780387941158.
- ^ ван Мелкебек, Дитер (2000), Случайность и полнота в вычислительной сложности , Лекционные заметки по компьютерным наукам , 1950 , Springer, стр. 22, ISBN 9783540414926.
- ^ Например, для Java см. Brogden, William B .; Грин, Маркус (2003), Java 2 Programmer , Que Publishing, стр. 45, ISBN 9780789728616.
Внешние ссылки [ править ]
- Исчисление логики Джорджа Буля, Cambridge and Dublin Mathematical Journal Vol. III (1848), стр. 183–98.