En boolesk datatyp är en datatyp som kan ha något av följande två värden: sant eller falskt. Den booleska datatypen lades ursprungligen till i C++-språket av ISO/ANSI-kommittén (International Standards Organization/American National Standards Organization) 1998. Typ bool-uttryck är uppkallade efter den engelske matematikern George Boole, som formulerade regler för matematisk logik. Boolska uttryck slutar också med ett värde som antingen är sant eller falskt. Boolska uttryck används i förgrenings- och looping-anvisningar. I programmering kan boolska uttryck användas med villkorliga uttalanden (uttalanden som endast sker när rätt villkor är uppfyllt).