Escolar Documentos
Profissional Documentos
Cultura Documentos
13
Axiomas As
es un lgebra de boole al cumple los siguientes axiomas: 1a: La ley asociativa de la disyuncin:
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:
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:
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:
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 negacin lgica de una variable presenta el valor contrario del argumento, o los casos contrarios de los recogidos en el argumento.
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:
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 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:
La Negacin conjunta presenta resultado cierto solo cuando sus dos argumentos son falsos. Esta operacin es la negacin de la disyuncin.
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.
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:
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:
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:
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.
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...........
La ventaja de esta prctica es que slo tenemos que comprar un solo tipo de integrados (COMPUERTAS NAND)