ブーリアン型
ブーリアン型（ブーリアンがた、）は、真理値の「真 = true」と「偽 = false」という2値をとるデータ型である。ブーリアン、ブール型、論理型（logical datatype）などともいう。2種類の値を持つ列挙型とも、2進で1ケタすなわち1ビットの整数型とも、見ることもできる。
また、各種ブール演算を行うことができ、論理積 (codice_1、codice_2、codice_3)、論理和 (codice_4、codice_5、codice_6)、排他的論理和 (codice_7、codice_8、codice_9)、同値 (codice_10、codice_11、codice_12)、非同値 (codice_8、codice_14、codice_15)、否定 (codice_16、codice_17、codice_18) などの操作が可能である。これらの演算はブール代数の演算に対応している。