boolvärden

Boolvärden är två tillstånd som används inom logik och programmering: sant och falskt. Begreppet kommer från Boolean-algebra, som matematikern George Boole utvecklade på 1800-talet och som ligger till grund för digital logik och villkorsstyrd exekvering i datorer. I praktiken används boolvärden för att avgöra om ett påstående är giltigt eller inte och för att styra programmets flöde.

I datorer lagras boolvärden vanligtvis som en enskild bit (0 eller 1). I de flesta programmeringsspråk finns en booleansk typ med två värden: true och false. Logiska operatorer som AND, OR och NOT kombinerar boolvärden enligt sannings tabellerna för att bestämma resultatet. I digital elektronik används samma principer för att bygga grindar som implementerar dessa operationer.

Olika språk varierar i hur de hanterar booleanska värden. Vissa kräver explicit booleansk typ, medan andra använder begreppet truthiness där vissa värden räknas som sanna eller falska i logiska sammanhang (till exempel i C där noll är falskt och alla andra tal är sanna). Andra språk stödjer explicit konvertering mellan heltal och booleska värden och har olika sätt att uttrycka literalerna sant/falskt eller true/false. Användningen omfattar villkorssatser, loopar och datakontroll i program, tester av påståenden samt logik i databaser eller regler. I databassammanhang används ofta trevärd logik i SQL, där NULL kan representera okänt.