Booleovský výraz - Boolean expression

v počítačová věda, a Booleovský výraz je výraz použito v programovací jazyky který produkuje a Booleovská hodnota při hodnocení. Logická hodnota je buď skutečný nebo Nepravdivé. Booleovský výraz může být složen z kombinace booleovských konstant skutečný nebo Nepravdivé, Booleovský typ proměnné, logické operátory a Funkce s booleovskou hodnotou.[1]

Booleovské výrazy odpovídají výrokové vzorce logicky a jsou speciální případ z Booleovské obvody.[2]

Booleovské operátory

Většina programovací jazyky mít booleovské operátory NEBO, A a NE; v C a některé novější jazyky jsou reprezentovány znakem „||“ (znak dvojité trubky), "&&" (dvojitá značka) ampersand ) a "!" (vykřičník ), zatímco odpovídající bitové operace jsou reprezentovány znaky „|“, „&“ a „~“ (vlnovka).[3] V matematické literatuře jsou často používány symboly „+“ (Plus ), "·" (tečka ) a překrytí, nebo „∨“ (šálek), „∧“ (čepice) a „¬“ nebo „′“ (primární).

Příklady

  • Výraz 5 > 3 je hodnocena jako skutečný.
  • Výraz 3 > 5 je hodnocena jako Nepravdivé.
  • 5>=3 a 3<=5 jsou ekvivalentní booleovské výrazy, oba jsou vyhodnoceny jako skutečný.
  • Typ skutečný a typeof false vrátit se booleovský
  • Většina booleovských výrazů bude samozřejmě obsahovat alespoň jednu proměnnou (X> 3) a často více (X> Y).

Viz také

Reference

  1. ^ Gries, David; Schneider, Fred B. (1993), „Kapitola 2. Boolean Expressions“, Logický přístup k diskrétní matematice, Monografie v informatice, Springer, s. 25ff, ISBN  9780387941158.
  2. ^ van Melkebeek, Dieter (2000), Náhodnost a úplnost ve výpočetní složitosti, Přednášky z informatiky, 1950, Springer, str. 22, ISBN  9783540414926.
  3. ^ Např. pro Jáva vidět Brogden, William B .; Green, Marcus (2003), Programátor Java 2, Que Publishing, str. 45, ISBN  9780789728616.

externí odkazy

  • Logický počet, George Boole, Cambridge a Dublin Mathematical Journal Vol. III (1848), s. 183–98.