Conectivos lgicos

Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (formadas por varias proposiciones). AND=Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero.

OR=Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera.
NOT=Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su complemento o negacin (falso).

FUNCIONES BOOLEANAS
En forma similar a como se define en los cursos de lgebra de nmeros reales, es posible definir una relacin de dependencia de una variable booleana o variable lgica con otras variables booleanas independientes. Es decir, es posible definir funciones booleanas o funciones lgicas. Definicin: Sean X1,X2,...,Xn, variables booleanas, es decir, variables que pueden tomar el valor de 0 o de 1, entonces la expresin Y = f(X1,X2,...,Xn) denota una dependencia funcional de la variable dependiente Y respecto a las variables independientes X1,X2,...,Xn, es decir, el valor (0 o 1) que toma la variable Y depende de la combinacin de n valores (1s y 0s) que tomen las n variables X1,X2,...,Xn A diferencia de las funciones de variable real, las cuales no pueden representarse completamente usando una tabla de valores, las funciones booleanas s quedan totalmente especificadas por una tabla que incluya todas las posibles combinaciones de valores que pueden tomar las variables independientes, dicha tabla se denomina tabla de verdad y es completamente equivalente a la expresin booleana, ya que incluye todas sus posibilidades.

Ejemplo: Y= f(A,B,C ) La siguiente es la tabla de verdad para la funcin del ejemplo anterior:
A B C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 C f(A,B,C) 0 1 0 1 1 0 1 1

En general para una funcin de n variables, puesto que hay n variables y cada variable tiene dos posibles valores, hay 2n maneras de asignar estos valores a las n variables, as la tabla de verdad tendr 2n renglones. Por ejemplo en el ejemplo anterior f(A,B,C) es una funcin de 3 variables, por lo que tenemos 2**3 = 8 diferentes combinaciones de las entradas y por lo tanto 8 renglones de la tabla de verdad.

SMBOLOS DE PUERTAS LGICAS

Una manera generalizada de representar las funciones lgicas es el uso de smbolos o bloques lgicos denominados puertas o compuertas lgicas. Estas puertas en general representan bloques funcionales que reciben un conjunto de entradas (variables independientes) y producen una salida (variable dependiente)

Las compuertas lgicas son dispositivos que operan con aquellos estados lgicos mencionados en lo anterior y funcionan igual que una calculadora, de un lado ingresas los datos, sta realiza una operacin, y finalmente, te muestra el resultado.

Cada una de las lgicas se las representa mediante un Smbolo, y la operacin que realiza (Operacin compuertas lgica) se corresponde con una tabla, llamada Tabla de Verdad, veamos la primera. Compuerta NOT Se trata de un inversor, es decir, invierte el dato de entrada, por ejemplo; si pones su entrada a 1 (nivel alto) obtendrs en su salida un 0 (o nivel bajo), y viceversa. Esta compuerta dispone de una sola entrada. Su operacin lgica es s igual a a invertida

Compuerta AND Una compuerta AND tiene dos entradas como mnimo y su operacin lgica es un producto entre ambas, no es un producto aritmtico, aunque en este caso coincidan.*Observa que su salida ser alta si sus dos entradas estn a nivel alto*

Compuerta OR Al igual que la anterior posee dos entradas como mnimo y la operacin lgica, ser una suma entre ambas... Bueno, todo va bien hasta que 1 + 1 = 1, el tema es que se trata de una compuerta O Inclusiva es como a y/o b*Es decir, basta que una de ellas sea 1 para que su salida sea tambin 1*