AXIOMAS Y TEOREMAS DEL ALGEBRA DE BOOLE

DEFINICION APLICACIONES Y EJEMPLOS

ELECTRONICA DIGITAL
JOSE PABLO GALLEGOS FIGUEROA

13

AXIOMAS Y TEOREMAS DEL AGEBRA DE BOOLE

lgebra de Boole (tambin llamada lgebra booleana) en informtica y matemtica, es una estructura algebraica que esquematizalas operaciones lgicas Y, O , NO y SI (AND, OR, NOT, IF), as como el conjunto de operaciones unin, interseccin y complemento.

Axiomas As

es un lgebra de boole al cumple los siguientes axiomas: 1a: La ley asociativa de la disyuncin:

1b: La ley asociativa de la conjuncin:

2a: Existencia del elemento neutro para la disyuncin:

2b: Existencia del elemento neutro para la conjuncin:

3a: La ley conmutativa de la disyuncin:

3b: La ley conmutativa de la conjuncin:

4a: Ley distributiva de la disyuncin respecto a la conjuncin:

4b: Ley distributiva de la conjuncin respecto al disyuncin:

5a: Existe elemento complementario para la disyuncin:

5b: Existe elemento complementario para la conjuncin:

Luego boole.

es lgebra de

Orden en el lgebra de Boole Sabiendo que es lgebra de Boole, se puede comprobar que:

1. 2. 3. 4. Para las proposiciones: a, b que cumplen alguna de estas condiciones se puede afirmar que a antecede a b. Que en el caso de proposiciones o predicados se dice que a es tanto o ms fuerte que b, o que b es ms dbil que a, y lo representamos:

As por ejemplo dadas las proposiciones:

a= Llueve mucho b= Llueve podemos ver:

Si: llueve mucho o llueve entonces llueve. Si se da la circunstancia de cualesquiera de dos, que llueve mucho o llueve, claramente llueve en cualquier caso.

Si: llueve mucho y llueve entonces llueve mucho. Si afirmamos que llueve mucho y que llueve, y se cumplen las dos circunstancias entonces es que llueve mucho.

Si: no llueve mucho o llueve es verdadero. No llueve mucho indica que puede que llueva poco o que no llueva, si no llueve mucho o llueve abarca todas las posibilidades, desde tiempo seco a muy lluvioso, luego la afirmacin es verdadera en todo caso.

Si: llueve mucho y no llueve es falso. Si afirmamos que llueve mucho y simultneamente que no llueve, la afirmacin es claramente falsa. La afirmacin ms restrictiva es la ms fuerte y la menos restrictiva la ms dbil, en este caso:

La proposicin llueve mucho es tanto o ms fuerte que llueve, la afirmacin llueve mucho es un caso particular o el mismo caso dellueve. Operaciones en lgebra de Boole[editar editar cdigo] Artculo principal: Conectiva lgica. Artculo principal: Operacin matemtica. El lgebra de Boole se basa en un conjunto en el que se han definidos tres operaciones internas: una unaria y dos binarias, como ya hemos visto, siendo cmoda esta definicin. Estrictamente hablando solo son necesarias dos, la unaria y una de las binarias, as, por ejemplo, en la lgica binaria con la negacin y el producto podemos definir la suma. Con la ley de De Morgan:

Esta expresin resulta ms compleja, pero partiendo de la negacin y el producto binarios define la suma binaria. En la imagen de la derecha podemos ver un circuito en paralelo de dos pulsadores a y b, que corresponde a la suma binaria de a y b, y su equivalente en un circuito en serie de a yb, los dos dan como resultado la misma tabla de verdad, y por tanto son equivalentes, lo artificioso el circuito serie para obtener el mismo resultado que en un circuito paralelo deja

ver lo conveniente de considerar esa funcin, la posibilidad de obtener la suma de dos variables binarias mediante la negacin y el producto sealan que, de forma primaria, el lgebra de Boole se basa solo en dos operaciones, y que cualquier expresin en la que intervenga la suma puede transformarse en otra equivalente en la que solo intervienen la negacin y el producto. En el caso de la teora de conjuntos con el complemento y la interseccin podemos definir la unin:

De una forma similar al lgebra binaria, o cualquier otra lgebra de Boole, La definicin del lgebra con solo dos operaciones complica las expresiones, pero permite determinar ciertas relaciones muy tiles, as como otras operaciones distintas. En el lgebra de Boole definido en un conjunto las operaciones son internas, dado que parte de elemento de , para obtener un resultado en . Sin perdida de la generalidad, y dado los distintos formas que puede adoptar el lgebra de Boole consideraremos la lgica proposicional con las proposiciones: a, c, b, etc. Que pueden tomar los valores verdadero: V o falso: F. Y las conectivas lgicas sobre esas proposiciones que dan como resultado otras proposiciones lgicas, cada proposicin: a, b, c, etc. Define un conjunto A, B, C, etc. Que podemos representar de forma grfica en un diagrama de Venn. Operaciones nularias[editar editar cdigo] Una Operacin nularia es la que devuelve un valor sin necesidad de argumentos, podemos ver Tautologa y Contradicc in La tautologa presenta el valor verdadero sin necesidad de argumentos o independientemente de las variables sobre la que se calcule. En teora de conjuntos corresponde al conjunto universal. En lgica proposicional corresponde al valor: verdadero:

En un circuito de conmutacin corresponde a una conexin fija o puente cerrado.

La contradiccin, por el contrario, presenta siempre el valor falso, sin necesitar argumentos o independientemente de los argumentos presentados. En teora de conjuntos corresponde al conjunto vaco. En lgica proposicional corresponde al valor: falso:

En un circuito de conmutacin, corresponde a la no conexin o puente abierto.

Operaciones unarias[editar editar cdigo] Una Operacin unaria es la que solo necesita un argumento para presentar un resultado, podemos ver dos operaciones unarias: identidad y negacin.

La operacin identidad de una proposicin presenta el valor de la variacin.

Esta operacin se puede hacer con el dispositivo electrnico Buffer amplificador.

En un circuito de conmutacin corresponde a un interruptor normalmente abierto: Interruptor NA.

La operacin negacin lgica de una variable presenta el valor contrario del argumento, o los casos contrarios de los recogidos en el argumento.

Esta operacin se hace con la Puerta NOT.

En un circuito de conmutacin corresponde a un interruptor normalmente cerrado: Interruptor NC.

Operaciones binarias La operacin binaria es la que necesita dos argumentos, de hecho es la forma ms generalizada de operacin, normalmente cuando nos referimos a operaciones, nos referimos a operaciones binarias, en el lgebra de Boole podemosver las siguientes operaciones binarias:

La conjuncion lgica presenta resultado cierto solo cuando sus dos argumentos son ciertos.

Normalmente representado:

La conjuncin lgica de proposiciones es equivalente a la interseccin de conjuntos en teora de conjuntos, o a la puerta lgica AND:

en circuitos de conmutacin seria un circuito en serie de interruptores.

L a N e g a c i n alternativa presenta resultado cierto en todos los casos excepto cuando sus dos argumentos son ciertos. Esta operacin es la negacin de la conjuncin.

La conjuncin lgica de proposiciones es equivalente a la puerta lgicaNAND.

La disyuncin lgica acepta dos argumentos presentando como resultado cierto si uno u otro de los argumentos es cierto. La disyuncin puede expresarse:

La operacin disyuncin lgica de proposiciones, es equivalente a la unin de conjuntos en teora de conjuntos, a la puerta lgica OR:

y al circuito en paralelo en circuitos de conmutacin

La Negacin conjunta presenta resultado cierto solo cuando sus dos argumentos son falsos. Esta operacin es la negacin de la disyuncin.

La negacin conjunta de proposiciones es equivalente a la puerta lgicaNOR.

La condicional material presenta resultado falso si el primer argumento es cierto y el segundo falso, en el resto de los casos presenta resultado cierto, esta operacin no es conmutativa y puede expresarse:

A esta operacin tambin se llama implicacin: a implica b: si a es cierto b es cierto. si a es falso y b es cierto, la implicacin es falsa. si a es falsa, la implicacin es cierta independientemente el valor de b.

A esta operacin le corresponde un conjunto

de puertas lgicas complejas:

La negacin condicional material presenta resultado verdadero si el primer argumento es verdadero y el segundo falso, en el resto de los casos presenta resultado falso, esta operacin no es conmutativa y es la negacin de la condicional material, tambin suele llamarse diferencia de a y b , puede expresarse:

A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La Condicional material inversa es la operacin que presenta resultado falso si el primer argumento es falso y el segundo cierto, en el resto de los casos presenta resultado cierto, esta operacin no es conmutativa y es el resultado de permutar a y b en la condicional material, puede expresarse:

A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La Negacin condicional material inverso presenta resultado verdadero si el primer argumento es falso y el segundo verdadero, en el resto de los casos presenta resultado falso, esta operacin no es conmutativa y es la negacin de la condicional inverso, tambin suele llamarse diferencia: b - a, puede expresarse:

A esta operacin le corresponde un conjunto de puertas lgicas complejas:

La bicondicional presenta resultado verdadero si los dos argumentos son iguales, esto es: si a y b son ciertos o si a y b son falsos.

Le corresponde la Puerta XNOR.

La disyuncin exclusiva presenta resultado verdadero si los dos argumentos son dispares, esto es si de los dos argumentos uno es verdadero y otro falso, es la negacin de la bicondicional:

Esta operacin tambin se llama o exclusivo, uno o el otro pero no los dos, le corresponde la puerta lgica: XOR.

Teorema de Morgan
El teorema de MORGAN sirve para transformar funciones que se SUMAN en funciones que se MULTIPLICAN o VICEVERSA

La aplicacin de este teorema es fundamental porque permite reemplazar una compuerta OR por una AND o realizar un circuito lgico UTILIZANDO SOLAMENTE compuertas NAND.

veamos...........

Ahora representamos la funcin original con compuertas combinadas...

Veremos cmo se representa la funcin obtenida despues de aplicar el teorema de MORGAN...

La ventaja de esta prctica es que slo tenemos que comprar un solo tipo de integrados (COMPUERTAS NAND)