Booleanmuuttujat

Booleanmuuttujat ovat ohjelmointikielissä käytettäviä muuttujia, joihin voidaan tallentaa vain totuusarvo: tosi tai epätosi. Niillä hallitaan ehtoja, silmukointia ja loogisia päätöksiä ohjelman suorituksessa. Useimmissa kielissä booleanmuuttuja on oma tyyppinsä (esim. bool tai boolean), mutta joissakin kielissä totuusarvon voi edustaa numerona (1/0) tai konvertoitua arvoa.

Booleanmuuttujia käytetään yleisimmin ehtolauseissa ja silmukoissa sekä ilmaisujen lopullisen totuusarvon määrittämisessä. Esimerkkejä loogisista operaatioista ovat AND, OR ja NOT. Näitä käytetään luovimaan uuden totuusarvon yhdistämisestä alkuperäisistä muuttujista: a ja b, a tai b, ei a. Monissa kielissä näitä operaatioita käytetään lyhytkäsittelyllä (short-circuit), jolloin toinen operandi voi olla väliaikaisesti arvioimatta, jos tulos voidaan ratkaista ensimmäisestä.

Tyyppien ja kontekstien ero on tärkeä. Joissakin kielissä booleans ovat erillinen tyyppi ja niillä voi olla erityiset arvot true ja false. Toisissa kielissä loogiset arvot voivat syntyä lausekkeista, kuten vertailuista tai epätyypillisistä toiminnoista, joista seuraa totuusarvo. Tämä voi johtaa virheisiin, jos booleanit sekoitetaan kokonaislukuihin tai muuhun arvoon ilman eksplisiittistä konversiota.

Muistillisesti booleanmuuttujat voivat viedä yhtä tai useampaa bittiä muistista riippuen järjestelmästä ja kielestä, mutta käytännössä käyttö on yleisesti kevyt ja suoraviivainen. Tutkittavaksi jää, miten kukin kieli toteuttaa bool-tyypin ilmaisut, evaluaation säännöt ja konversion säännöt.

Katso myös: totuusarvot, boolean-logiikka, ehtolauseet, silmukat.