Una variable booleana es una cantidad que puede en diferentes ocasiones, ser igual a 0 o a 1.

Con frecuencia las variables se emplean para representar el nivel de voltaje presenten en las terminales de entrada y salida de un circuito.

 Las variables booleanas nos representan el estado de una variable de voltaje, lo que se conoce como su nivel lgico. El lgebra booleana se utiliza para expresar los efectos que los diversos circuitos digitales ejercen sobre las entradas lgicas y para manipular variables lgicas con objeto de determinar el mejor mtodo de ejecucin a cierta funcin de un circuito.

 Solo puede haber dos valores en el lgebra booleana(0,1), por tal motivo es relativamente fcil. De hecho en el lgebra booleana solo existen tres operaciones bsicas: OR AND y NOT.

 Una tabla de verdad es un medio para describir la manera en que las salida de un circuito lgico depende de los niveles lgicos que haya en la entrada del circuito. La tabla enumera las combinaciones posibles de niveles lgicos.

 Suponga que A y B representan dos variables lgicas independientes, cuando A y B se combinan el resultado x se puede expresar como:
X = A+B

 Si dos variables lgicas A y B se combinan mediante la operacin AND se puede representar de la siguiente manera: X=AB

 La operacin NOT difiere de las operaciones AND y OR en que se puede realizar con una sola Variable: X=A El nivel lgico de salida es contrario al de entrada

 Cualquier circuito lgico sin importar su complejidad se puede representar mediante las operaciones AND, OR y NOT, ya que estas son elementos bsicos de los sistemas digitales.

 Suponga que deseamos construir un circuito cuya salida es: y=AC + BC + ABC Esta expresin indica tres trminos (AC, BC, ABC), que se operan con compuertas OR.

 Cada entrada de la compuerta OR es un trmino del producto AND, lo que significa que se puede usar una compuerta AND para cada trmino.

 Existen otros dos tipos de compuertas que se usan extensamente en los circuitos digitales(NOR y NAND). Estas compuertas combinan las operaciones bsicas AND, NOT y OR.

 La compuerta NOR acta como una compuerta OR seguida de un inversor.

 Tabla de Verdad.

 La compuerta NAND opera de la misma forma que la compuerta AND seguida de un inversor.

 Tabla de verdad:

 El primer teorema nos dice que cualquier variable que opere con AND y contenga un cero, el resultado de esta siempre ser cero:

 El segundo teorema tambin es comparable con la operacin de multiplicacin ordinaria:

 El teorema nmero 3 se demuestra estudiando los dos casos: 11=1 00=0 Por tanto: XX=X

 El teorema nmero 4 se puede comprobar: Si x=1, entonces xx=0; 10=0 Si x=0, entonces xx=0; 01=0

 El quinto teorema es directo ya que todo nmero al que se le suma cero no altera su valor en la operacin OR.

 El sexto teorema afirma que si cualquier variable opera con OR y uno el resultado ser uno, recordando la tabla de verdad de la operacin OR.

 El siguiente teorema se puede demostrarse mediante las siguientes operaciones: Si X=0; 0+0=0. Si X=1; 1+1=1

 Este teorema lo podemos demostrar sabiendo que si operaos un cero y un uno con OR dar como resultado 1.

 Estos teoremas sirven para simplificar una operacin lgica; es decir reducir el nmero de trminos de una funcin, por lo tanto se generar un circuito menos complejo.

 El matemtico DeMorgan enuncio dos de los ms importantes para la simplificacin de expresiones que contienen un suma o productos de variables estos dos teoremas son:

 Existe la posibilidad de realizar las expresiones booleanas con las compuertas AND, OR y NOT. Sin embargo tambin es posible realizarlo con las compuertas NAND y NOR.

 Una vez que se haya obtenido la expresin del circuito lgico podemos reducirla a una expresin ms simple que contenga menos trminos o variables en uno o mas trminos, la nueva expresin puede utilizarse para implantar un circuito que sea equivalente pero con menos compuertas y conexiones.

 Este mtodo tiene dos etapas esenciales: 1)La expresin se pone en forma de suma de productos mediante las operaciones de teorema de Demorgan y multiplicacin de trminos. 2)Se verifican los trminos de los productos para factorizar si es posible, y aplicar los teoremas antes mencionados.

 El circuito EX-OR produce una entrada ALTA cuando siempre que las dos entradas estn en niveles opuestos. Una compuerta EX-OR solo tiene dos entradas, no hay compuertas EX-OR de tres o cuatro entradas.

 El circuito NOR-Exclusivo produce una salida alta cuando las dos entradas tengan el mismo nivel. La compuerta EX-NOR tambin tiene solo dos entradas.