ALGEBRA BOOLEANA:

Es una estructura algebraica que esquematiza las operaciones lgicas Y, O , NO y SI (AND, OR, NOT, IF), as como el conjunto de operaciones unin, interseccin y complemento. Es un sistema matemtico deductivo centrado en los valores cero y uno (falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida booleana, es decir; lgebra booleana es una
ltice complementada distributiva con al menos dos elementos. Esto excluye el caso trivial de un conjunto parcialmente ordenado con un solo elemento. El lgebra booleana a menudo emplea

los siguientes postulados: Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada par de valores booleanos se produce un solo resultado booleano. Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A para todos los posibles valores de A y B. Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B C) para todos los valores booleanos A, B, y C. Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) = (A B) % (A C) para todos los valores booleanos A, B, y C. Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador binario " " si A I = A. Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A.

Ejemplo1:
Sea B el conjunto de valores de verdad de las proposiciones, es decir B={0,1}. Este conjunto ordenado por la relacin de implicacin, esto es, a b si y slo si a b es un lgebra de boole. En efecto, (B,) es una ltice puesto que el nico subconjunto con dos elementos, que es el mismo B, tiene mnima cota superior (1), y mxima cota inferior (0). La mnima cota superior es 1 porque 0 + 1 = 1 y la mxima cota inferior es 0 porque 0 1 = 0. Lo dicho anteriormente, tambin se desprende del hecho de que 0 1 y esto debido a que 0 1 es verdadero. Esta ltice es complementada porque 0 = 1 y 1 = 0, lo anterior debido a que la negacin de una proposicin falsa es una proposicin verdadera y viceversa. La distributiva se puede verificar utilizando las tablas de verdad para la disyuncin y la conjuncin.
Entonces tenemos que un algebra booleana es un conjunto B en el cual se pueden distinguir dos elementos notados 0 y 1 y donde dos operaciones binarias notadas . y una operacin unaria notada ¨ Verificando los siguientes axiomas; sean x, y, z tres elementos cualesquiera de B.


Conmutatividad: x+y=y+x x.y=y.x Asociativa x + (y + z) = (x + y) + z x . (y . z) = (x . y) . z Idempotencia: x+x=x x.x=x Absorcin: x + (x . y) = x x . (x + y) = x Distributiva doble: x . (y + z) = (x . y) + (x . z) x + (y . z) = (x + y) . (x + z) Elementos neutros: x+0=x x.1=x Elemento absorbente: x.0=0 x+1=1 Complementacin: x + x = 1 x . x = 0 Otras propiedades bsicas Leyes de De Morgan: (x . y) = x + y (x + y) = x . y 0 = 1 1 = 0

Siendo cada uno de los axiomas que sustentan el algebra booleana, segn se cumpla con sus propiedades. POLINOMIOS Y FUNCIONES BOOLEANAS:

Los polinomios bolanos se construyen combinando las variables lgicas con los operadores o trminos lgicos. Es decir, los polinomios bolanos se les conoce tambin como proposicin compuesta con el nombre de formula.

Tautologa: Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta son todos verdaderos, se les conoce como verdad lgica. Contradiccin: Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta son todos falsos Contingencia: Son los polinomios booleanos cuyos valores de verdad en la columna de la respuesta son todos verdaderos y falsos.
En el lgebra de Boole abstracta se usan denominaciones anlogas a las del lgebra elemental. As, un monomio es una letra que representa un elemento de B, con o sin tilde de complemento, o bien un producto (interseccin) de tales smbolos; ejemplos: Sea b, ab (o sea, a . b), a . b . c; un polinomio es un monomio o una unin de monomios (trminos del polinomio), ejemplo: a + b + abc trminos a, b, abc. Una forma lineal es un polinomio cuyos trminos se reducen a una sola letra con o sin tilde. Ejemplos: a, a + b pero no a + b.c, (a + b) . Una funcin de Boole es el resultado de efectuar un nmero finito de veces operaciones de Boole sobre constantes a, b, ...(elementos determinados de B) y variables o indeterminadas x, y, ... (elementos genricos, indeterminados o arbitrarios de B, pero siempre el mismo siempre que aparezca una misma variable). A causa de las relaciones que existen entre las operaciones, es posible que una funcin booleana tome muchas formas. Por ejemplo, si f(x,y) = xy y g(x,y) = (x+y), entonces, por las leyes de De Morgan sabemos que f y g son la misma funcin; es decir, toman idnticos valores para valores idnticos de las variables. As pues, para determinar mejor si dos expresiones representan o no la misma funcin booleana, es deseable tener una forma cannica estndar en que podamos expresar las distintas funciones. Por tal motivo, ofrecen especial inters las funciones (duales) siguientes: Definicin: Una funcin de Boole se llama forma normal disyuntiva o polinomio normal en n variables x1, x2, ... , xn (n>, o bien un polinomio en cada uno de cuyos trminos figuran las n variables xi y ninguna otra letra (y en particular, no hay constantes); y cada uno de los trminos es nico. Ejemplos: x +y , xy + xy . 0) si es una de las constantes 0 Una funcin de Boole se llama forma normal conjuntiva o producto normal en n variables x1, x2, ... , xn (n>, o bien una forma lineal o un producto de formas lineales en cada uno de cuyos factores figuran las n variables xi y ninguna otra letra (y en particular, no hay constantes); y cada uno de los trminos es nico. Ejemplos: xy, (x + y) . (x + y).0) si es una de las constantes 0 Teorema: Toda funcin de Boole f(x1, x2, ... , xn), sin constantes, se reducir a una Forma normal disyuntiva o polinomio normal. Forma normal conjuntiva o producto normal. Una funcin de Boole en forma normal conjuntiva (o disyuntiva) en n variables, puede contener hasta 2n trminos (o factores), pues en cada uno, cada letra xk puede aparecer en dos formas, xk o xk . Si contiene los 2n se llama completa. Es inmediato el siguiente teorema:

La forma normal completa disyuntiva en n variables x1, x2, ...,xn resulta desarr ollando (x1 + x1). ... .(xn + xn) = 1 y para cada sistema de reemplazos de las variables x1, x2, ...,xn por las constantes 0 y 1, uno y uno slo de los trminos da 1 y los dems 0.

La forma normal completa conjuntiva en n variables x1, x2, ...,xn resulta desarrollando (x1 . x1)+ ... +(xn . xn) = 0 y para cada sistema de reemplazos de las variables x1, x2, ...,xn por las constantes 0 y 1, uno y uno slo de los factores da 0 y los dems 1. Por ejemplo, en la forma normal disyuntiva completa en x, y, z, el reemplazo de x = z = 1, y = 0 , reduce a 1 el trmino xyz, y a 0 los 7 restantes. De aqu resulta el siguiente teorema: Dos funciones de Boole son iguales si y slo si coinciden sus respectivas formas normales de igual clase, y tambin si y slo si coinciden para todo sistema de reemplazos de las variables por 0 y 1. Aplicacin al clculo proposicional. Si en el lgebra de enunciados se interpretan todas las equivalencias como igualdades, entonces el lgebra de enunciados pasa a ser un lgebra de Boole. Para ver esto, redefina 0,1,+ y ., y la complementacin segn se muestra en la siguiente

Tabla de la verdad:

lgebra de Boole 0 1 + . x'

lgebra de enunciados F V ~x

Equivalente espaol falso verdadero o (or) y (and) no (not)

Para definir funcin de algebra boole simple se debe identificar cules son los criterios para determinar hasta qu punto una expresin es simple , pues se pueden tener dos expresiones que representen la misma funcin booleana, con el mismo nmero de ocurrencias de cada variable y el mismo nmero de operaciones, entonces; el problema se hace an ms complicado cuando se incrementa el nmero de operaciones bsicas, como es a menudo el caso, cuando queremos hallar los valores de alguna funcin, pero la dificultad estriba en estar seguro de que se han tomado en cuenta todas las formas posibles de aplicar las reglas simplificadoras. Las tcnicas que se han desarrollado para ayudar a la simplificacin son mtodos de ordenar la informacin sobre la funcin que permita ver todas estas posibilidades.

Funciones bsica:

Funcion Not, Inversor: Tabla de la verdad A 0 1 A` 1 0 A F=A` Smbolo

Con estos tres tipos de puertas puede realizarse cualquier funcin de conmutacin. Un conjunto de puertas completo es aquel con el que se puede implementar cualquier funcin lgica. Puerta AND, puerta OR e INVERSOR Puerta AND e INVERSOR Puerta OR e INVERSOR.

CIRCUITOS DE COMPUTADORAS BASADO EN ESTRUCTURA LOGICA, or, on.

Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma denominacin que para las puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia). Las variables pueden representarse con letras maysculas o minsculas, y pueden tomar los valores {0, 1}. Empleando esta notacin las leyes de De Morgan se representan:

Un circuito lgico es un dispositivo que tienen una o ms entradas y exactamente una. Los valores 0 y 1 pueden representar ciertas situaciones fsicas como, por ejemplo, un voltaje nulo y no nulo en un conductor. Los circuitos lgicos se construyen a partir de ciertos circuitos elementales denominados compuertas lgicas, entre las cuales diferenciaremos: Compuertas lgicas bsicas: OR, AND, NOT. Compuertas lgicas derivadas: NOR, NAND. En una compuerta OR con entradas A y B, la salida Y resulta: Y AB = + salida. En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para dar un valor en su salida, 0 o 1. 2.2 Compuerta OR donde la suma se define por la siguiente tabla:

Hay dos procesos en ingeniera: Anlisis Sntesis y diseo El anlisis se debe hacer tanto en estado transitorio (cuando las seales estn cambiando) como en estado estacionario (cuando las seales estn ya establecidas). En este curso slo hablaremos de situaciones estacionarias. Tres pasos: 1. Etiquetado de los diferentes nodos del circuito 2. Salida = etiqueta del nodo de salida 3. Creacin de la tabla de Verdad, si se pide.

El diseo se realiza a partir del planteamiento de un problema. Se obtiene luego alguna de las frmulas cannicas y se procede a la simplificacin para obtener un circuito de mnimo tamao como se explicar en el prximo tema. Ejemplo: Para abrir una caja fuerte se dispone de tres llaves, la caja se abre si: Estn giradas A y B independientemente de si lo est C. Cuando estando girada C, estn giradas A o B.

1
V 1 0 0 0 1 1 1 0 t 0

Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos dgitos 0 y 1. Un dgito binario se denomina un bit. La informacin est representada en las computadoras digitales en grupos de bits. Utilizando diversas tcnicas de codificacin los grupos de bits pueden hacerse que representen no solamente nmeros binarios sino tambin otros smbolos discretos cualesquiera, tales como dgitos decimales o letras de alfabeto. Utilizando arreglos binarios y diversas tcnicas de codificacin, los dgitos binarios o grupos de bits pueden utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de clculos. A continuacin se detallan los nombres, smbolos, grficos, funciones algebraicas, y tablas de verdad de las compuertas ms usadas.

Compuerta AND: Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x. La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando ambas entradas A y B estn en 1. El smbolo de operacin algebraico de la funcin AND es el mismo que el smbolo de la multiplicacin de la aritmtica ordinaria (*). Las compuertas AND pueden tener ms de dos entradas y por definicin, la salida es 1 si todas las entradas son 1. Compuerta OR: La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin la salida es 1 si cualquier entrada es 1. Compuerta NOT: El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y viceversa. El crculo pequeo en la salida de un smbolo grfico de un inversor designa un inversor lgico. Es decir cambia los valores binarios 1 a 0 y viceversa.

Compuerta Separador (yes): Un smbolo tringulo por s mismo designa un circuito separador, el cual no produce ninguna funcin lgica particular puesto que el valor binario de la salida es el mismo de la entrada. Este circuito se utiliza simplemente para amplificacin de la seal. Por ejemplo, un separador que utiliza 5 volt para el binario 1, producir una salida de 5 volt cuando la entrada es 5 volt. Sin embargo, la corriente producida a la salida es muy superior a la corriente suministrada a la entrada de la misma. De sta manera, un separador puede excitar muchas otras compuertas que requieren una cantidad mayor de corriente que de otra manera no se encontrara en la pequea cantidad de corriente aplicada a la entrada del separador. Compuerta NAND: Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal). La designacin NAND se deriva de la abreviacin NOT AND. Una designacin ms adecuada habra sido AND invertido puesto que es la funcin AND la que se ha invertido. Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin AND. Compuerta NOR: La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR.

ESTUDIO CASUISTICO (DECISIONES LOGICAS): La casustica es utilizar la razn para resolver problemas morales aplicando reglas tericas a instancias especficas. La casustica da un enfoque prctico a la moralidad. En lugar de utilizar la teora como punto de partida, comienza con un examen del caso. La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la Filosofa, Matemticas, Computacin, Fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica

permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. El estudio de casos es una metodologa de mltiples aplicaciones, en un saln de clase o fuera de l, que resulta sumamente eficaz para la deteccin y resolucin de situaciones problemticas. La tcnica de estudio de casos consiste en proporcionar una serie de hechos que representen situaciones problemticas de la vida real para que se analicen y se busquen soluciones. El estudio de un caso no implica proporcionar la solucin a determinada situacin, sino que acta como disparados para la bsqueda de alternativas que apunten a la correcta toma de decisiones o a un diagnostico adecuado en funcin de la informacin disponible. Existen diferentes tipos de casos: Los casos centrados en descripciones: en ellos se intenta que los participantes se ejerciten en el anlisis, identificacin y descripcin de los elementos puntuales de una situacin dada. Aqu no se pretende alcanzar soluciones porque estn centrados en aspectos meramente descriptivos. Este tipo de casos puede ser el punto de partida de otro tipo de casos. Los casos de resolucin de problemas: el objetivo se centra en la toma de decisiones que requiere la solucin de problemas planteados en la situacin. Dentro de este tipo de casos, se pueden considerar: TEORIA DE REDES LOGICAS: En matemticas, una red es la generalizacin del concepto de sucesin, de tal manera que no necesariamente tenga una cantidad numerable de elementos. Sucesiones son secuencias de nmeros o signos que siguen una regla matemtica o lgica. Es decir, un nmero o signo que sigue o falta en la sucesin se encuentra por buscar la regla o lgica del presentado.

Una sucesin es una lista ordenada de objetos, cada uno de ellos denominado trmino (tambin elemento o miembro) de la sucesin y al nmero de elementos ordenados (posiblemente infinitos) se le denomina la longitud de la sucesin. A diferencia de un conjunto, el orden en que aparecen los trminos s es relevante y un mismo trmino puede aparecer en ms de una posicin. De manera formal, una sucesin puede definirse como una funcin sobre el conjunto de los nmeros naturales (o un

subconjunto del mismo) y es por tanto una funcin discreta. Ejemplo: La sucesin (A, B, C) es una sucesin de letras que difiere de la sucesin (C, A, B). En este caso se habla de sucesiones finitas (de longitud igual a 3). Un ejemplo de sucesin infinita sera la sucesin de nmeros positivos pares: 2, 4, 6, 8, ...

INTRODUCCION: Mediante herramientas matemticas. Las proposiciones lgicas (asertos, frases o predicados de la lgica clsica) son aquellas que nicamente pueden tomar valores Verdadero/Falso, o preguntas cuyas nicas respuestas posibles sean S/No. Segn Boole, estas proposiciones pueden ser representadas mediante smbolos y la teora que permite trabajar con estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta con operaciones lgicas que siguen el comportamiento de reglas algebraicas. La lgica se preocupa por saber, que formas o estructuras tiene el conocimiento y no por el contenido, porque estudia el pensamiento, de manera cientfico dirigido a satisfacer la necesidad de investigar las leyes o principios que rigen el proceso de la adquisicin del conocimiento en todas sus formas, as como de explicarlos.
El estudio de los argumentos corresponde a la lgica, de modo que a ella tambin le corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados como hiptesis.

Una de las asignaturas curriculares que ms se ha beneficiado de las nuevas tecnologas es matemticas, ya que, al ser una materia cuyo aprendizaje no se fundamenta solo en la memorizacin o comprensin de conceptos, sino que requiere de habilidades y capacidades para entender su significado y exige por parte de los alumnos un papel ms activo, en el que la prctica, la observacin y el descubrimiento son actividades fundamentales.

BIBLIOGRAFIA:
http://www.monografias.com/trabajos4/logica/logica.shtml#ixzz2YZ1gh3Ma http://www.talentosparalavida.com/aula36.asp http://deptomat.unsl.edu.ar/MatAplic/MA_archivos/page0003.htm http://es.wikipedia.org/wiki/Sucesi%C3%B3n_matem%C3%A1tica http://taller-einstein.com/sucesiones/suc1HTML.html http://www.monografias.com/trabajos4/logica/logica.shtml Algebra Lineal - Stanley I. Grossman
http://www.monografias.com/trabajos11/seman/seman.shtml#ixzz2YTtvyL7n

http://matematicas-nestor.blogspot.com/2008/01/polinimios-lgebra.html rincn del vago/algebra/(fuente de internet).