domínio booleano

Em matemática e em álgebra abstrata, um domínio booliano é um conjunto consistindo de exatamente dois elementos, chamados boolianos, cujas interpretações incluem falso e verdadeiro. Em lógica, matemática e ciência da computação teórica, um domínio booliano é geralmente escrito como {0, 1}, {falso, verdadeiro}, {F, T}, ou A estrutura algébrica que é criada naturalmente pelo domínio booliano é a álgebra booliana com dois elementos. O objeto inicial na categoria de reticulados limitados é um domínio booliano. Em ciência da computação, uma variável booliana é uma variável que toma valores em algum domínio booliano. Algumas linguagens de programação provêm palavras-chave ou símbolos para os elementos do domínio, como por exemplo <i>false</i> e <i>true</i>, em C++ ou Java. Contudo, muitas outras não tem um tipo primitivo que representa os boolianos: em C ou BASIC, por exemplo, falsidade é representada pelo número 0 e a verdade é representada pelos números 1 ou −1 respectivamente, e todas as variáveis que podem assumir estes valores também podem tomar qualquer outro valor numérico.