Booleanarvioon

Booleanarvioon tarkoittaa ilmaisujen ja ehtojen arviointia totuusarvoon, eli tosi (true) tai epätosi (false). Se on perusajatus logiikassa ja ohjelmoinnissa, jossa päätökset ja kontrollivirrat perustuvat totuusarvoihin. Keskeisiä käsitteitä ovat totuusarvot ja loogiset operaatiot: AND (konjunktio), OR (disjunktio) ja NOT (negaatio). Usein looginen arviointi noudattaa short-circuit -periaatetta, jossa arviointi lopetetaan ensimmäiseen riittävään totuusarvoon.

Eri ohjelmointi- ja laskentaympäristöt määrittelevät totuusarvon eri tavoin: osa kielistä käyttää eksplisiittistä boolean-tyyppiä, osa perustaa totuusarvon evaluaation tyypin mukaan. Esimerkkejä: Pythonissa 0, tyhjä merkkijono '', None ja tyhjä lista [] ovat falsy-arvoja, muut ovat truthy; JavaScriptissä 0, '', null, undefined ja NaN ovat falsy, muut arvot ovat truthy. Java, C# ja C++ käyttävät pääosin eksplisiittistä boolean-arvoa lauseissa.

Käyttökohteita booleanarvioon ovat ehtolauseet, silmukat, suodatuslogiikka sekä tietokantakyselyt ja säännöstöt, joissa päätökset perustuvat ehdollisiin arvoihin. Ymmärrys booleanarvioon on keskeinen osa ohjelmointia ja loogista ajattelua. Lähihistoriassa boolean algebra ja logiikan peruslauseet, kuten George Boole, muotoilivat totuusarvoja ja niiden yhdistämisen sääntöjä, joita moderni tietotekniikka hyödyntää.