Booleano 

En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 ó 1 ("falso" o "verdadero", respectivamente), y cuyocodominio son ambos valores 0 y 1.

Formalmente, son las funciones de la forma ƒ : Bⁿ → B, donde B = {0,1} y n un entero no negativo correspondiente a la aridad de la función.

Por tabla de verdad[editar]

Artículo principal: Tabla de verdad

${\displaystyle {\begin{array}{|c|c|c|c|}\hline A&B&C&F(A,B,C)\\\hline 0&0&0&0\\0&0&1&0\\0&1&0&1\\0&1&1&0\\1&0&0&1\\1&0&1&1\\1&1&0&1\\1&1&1&0\\\hline \end{array}}}$

Una tabla de verdad contiene todos los valores posibles de una función lógica dependiendo del valor de sus variables. El número de combinaciones posibles para una función de n variables vendrá dado por 2ⁿ. Una función lógica puede representarse algebraicamente de distintas formas como acabamos de ver, pero sólo tiene una tabla de verdad. La siguiente tabla corresponde a la función lógica del punto anterior.

La forma más cómoda para ver la equivalencia entre una tabla de verdad y una expresión algebraica es cuando esta última se da en su forma canónica. Así, la función canónica de suma de productos (o forma canónica disyuntiva)

F = A’BC’ + AB’C’ + AB’C + ABC’

nos indica que será 1 cuando lo sea uno de sus sumandos, lo que significa que tendrá por lo tanto cuatro combinaciones que lo serán (010 para A’BC’, 100 para AB’C’, 101 para AB’C y 110 para ABC’) siendo el resto de combinaciones 0. Con la función canónica de producto de sumas (o forma canónica conjuntiva) se puede razonar de forma análoga, pero en este caso observando que la función será 0 cuando lo sea uno de sus productos.

También es fácil obtener la tabla de verdad a partir de la función simplificada, pero no así a la inversa.