Mantık, matematik ve bilgisayar biliminde değeri doğru ya da yanlış olabilecek bir değişken tipidir. Bu değer, bazen 0 ya da 1 şeklinde de temsil edilir.
iki boolean değeriyle bazı işlemler yapılabilir. Mesela;
doğru ve yanlış = yanlış
doğru ya da yanlış = doğru
Bu ifadeler, mantıksal sonuçlar çıkarmada kullanılabilir. Java bilgisayar programlama dilinde bunlar true ya da false olarak adlandırılır, C benzeri programlama dillerinde "ve" işlemi "&&" sembolüyle , "veya" işlemi de "||" sembolüyle gösterilir.
