Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В информатике , логическое выражение является выражение используется в языках программирования , который производит значение Boolean при оценке. Логическое значение может быть истинным или ложным . Логическое выражение может состоять из комбинации булевых констант истинные или ложные , булева типизированных переменных, булевозначных операторов и булевозначных функций . [1]

Булевы выражения соответствуют пропозициональным формулам в логике и представляют собой особый случай из цепей булевых . [2]

Логические операторы [ править ]

В большинстве языков программирования есть логические операторы OR , AND и NOT ; в C и некоторых новых языках они представлены символом "||" (двойной символ вертикальной черты), «&&» (двойной амперсанд ) и «!» ( восклицательный знак ) соответственно, в то время как соответствующие побитовые операции представлены символами «|», «&» и «~» (тильда). [3] В математической литературе часто используются символы «+» ( плюс ), « · » ( точка ) и черта над чертой , или «∨» (чашка), «∧». (заглавная буква) и «¬» или «′» (штрих).

Примеры [ править ]

  • Выражение 5 > 3оценивается какправда.
  • Выражение 3 > 5оценивается какложный.
  • 5>=3и 3<=5являются эквивалентными логическими выражениями, оба из которых оцениваются какправда.
  • typeof trueи typeof falseвернутьсялогический
  • Конечно, большинство логических выражений будут содержать по крайней мере одну переменную ( X > 3), а часто и несколько ( X > Y).

См. Также [ править ]

Ссылки [ править ]

  1. ^ Грис, Дэвид ; Шнайдер, Фред Б. (1993), "Глава 2. Булевы выражения", Логический подход к дискретной математике , Монографии по компьютерным наукам, Springer, стр. 25ff, ISBN 9780387941158.
  2. ^ ван Мелкебек, Дитер (2000), Случайность и полнота в вычислительной сложности , Лекционные заметки по компьютерным наукам , 1950 , Springer, стр. 22, ISBN 9783540414926.
  3. ^ Например, для Java см. Brogden, William B .; Грин, Маркус (2003), Java 2 Programmer , Que Publishing, стр. 45, ISBN 9780789728616.

Внешние ссылки [ править ]

  • Исчисление логики Джорджа Буля, Cambridge and Dublin Mathematical Journal Vol. III (1848), стр. 183–98.