LEYES Y TEOREMAS BSICOS DEL LGEBRA DE BOOLE

LEYES Y TEOREMAS BSICOS DEL LGEBRA DE BOOLE

Leyes fundamentales
El resultado de aplicar cualquiera de las tres operaciones definidas a
variables del sistema booleano resulta en otra variable del sistema, y este
resultado es nico.
Ley de idempotencia: A + A = A y A A = A
Ley de involucin: (A')' = A
Ley conmutativa: A + B = B + A y A B = B A
Ley asociativa: A + (B + C) = (A + B) + C y A (B C) = (A B) C
Ley distributiva: A + B C = (A + B) (A + C) y A (B + C) = A B + A C
Ley de absorcin: A + A B = A y A (A + B) = A
Ley de De Morgan: (A + B)' = A' B' y (A B)' = A' + B'
Principio de dualidad
El concepto de dualidad permite formalizar este hecho: a toda relacin o ley
lgica le corresponder su dual, formada mediante el intercambio de los
operadores unin con los de interseccin, y de los 1 con los 0.
Adicin

Producto

A + A' = 1

A A' = 0

A+0=A

A1=A

A+1=1

A0=0

A+A=A

AA=A

A+B=B+A

AB=BA

A + (B + C) = (A + B) + C

A (B C) = (A B) C

A + B C = (A + B) (A + C)

A (B + C) = A B + A C

A+AB=A

A (A + B) = A

(A + B)' = A' B'

(A B)' = A' + B'

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)

Aplicacin . El Teorema de Morgan permite transformar funciones producto en funciones suma y

viceversa. Su principal aplicacin prctica es realizarcircuitos digitales utilizando un solo tipo de
compuerta. Tambin es muy utilizado en el lgebra booleana para obtener el complemento de una
expresin o una funcin, adems para simplificar expresiones y funciones booleanas.
El teorema de Morgan es una herramienta muy til para desarrollar circuitos digitales, ya que permite
obtener la funcin de una compuerta lgica con la combinacin de otras compuertas lgicas, por ejemplo
se puede realizar la funcin de la compuerta NAND con una compuerta OR y dos compuertas inversoras,
y se puede obtener la funcin de una compuerta NOR con una compuerta AND y dos compuertas
inversoras.

Ejemplo de aplicacin prctica

En este ejemplo vamos a obtener la funcin de una compuerta NAND de tres entradas a partir de
la combinacin de una compuerta OR de tres entradas y tres compuertas inversoras, o la
combinacin de tres compuertas OR de dos entradas y tres compuertas inversoras.

Compuerta NAND

Combinacin de la compuerta OR y los tres inversores

En este ejemplo vamos a obtener la funcin de una compuerta NOR de tres entradas a partir de
la combinacin de una compuerta AND de tres entradas y tres compuertas inversoras, o la
combinacin de tres compuertas AND de dos entradas y tres compuertas inversoras.

Compuerta NOR

Combinacin de la compuerta AND y los tres inversores

Leyes de Morgan

Las Proposiciones
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F),
o bien verdadero (V), pero no ambos a la vez.
Su denotacin generalmente la encontramos con las letras (p, q, r)
Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el
uso de conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin
Leyes de Morgan
Son una parte de la Lgica proposicional, analtica ,y fueron creada por Augustus
de Morgan.
Estas declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lgicamente equivalentes.
Las Leyes de Morgan permiten:
El cambio del operador de conjuncin en operador de disyuncin y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de
Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de
su miembros negados
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin conjuntiva con cada uno de
sus miembros negados
(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva negada en su totalidad y en
sus miembros.
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva negada en su totalidad y en
sus miembros

5. LEYES DE DMORGAN
Estas leyes establecen los complementos de la unin e interseccin entre conjuntos:
Primera ley. El complemento de la unin de dos conjuntos es la interseccin de sus
complementos.

En el diagrama de la izquierda,
viene dada por la regin en blanco y
est representado por el rea verde sombreada verticalmente. Por su parte en el
diagrama de la derecha,
es la regin sombreada horizontalmente,
es el rea
sombreada verticalmente, por lo que
est representado por la superficie
cuadriculada en verde. Las regiones resultantes son iguales.

Teorema del consenso

Da Wikipedia, l'enciclopedia libera.

Il teorema del consenso estremamente utile nella semplificazione di una espressione Booleana.
In una espressione del tipo

si dimostra che il termine

essere eliminato semplificando l'espressione originaria in

avere

e pertanto uno qualsiasi dei due termini

valga

oppure valga

ridondante e pu

. Infatti se
e

deve valere

si deve
, sia che

Teorema del Consenso

Dimostrazione La prova del teorema molto semplice in quanto basta verificare che il primo
termine a sinistra dell'uguaglianza equivalente al secondo.

Il termine ridondante
termini

detto termine di consenso e rappresenta il consenso dei

. In generale, dati due termini in cui una variabile compare in un termine e

il complemento della stessa variabile compare nell'altro, il termine di consenso formato

dal prodotto dei due termini in questione eliminando da essi la variabile e il suo
complemento.
Ad esempio il consenso di

Forma Duale del Teorema del Consenso

Teorema de dualidad
Todo problema de optimizacin (primal), tiene un problema asociado (dual) con numerosas
propiedades que los relacionan y nos permiten hacer un mejor anlisis de los problemas.

A continuacin se describen los resultados que se ocuparan en la resolucin de los

problemas.

Bastante en general, para encontrar el dual de un problema lineal:

1. Si es problema de minimizacin el dual ser de maximizacin y viceversa.

2. En el dual habr tantas variables como restricciones 2 en el primal.
3. En el dual habr tantas restricciones como variables en el primal.
4. Los coeficientes de la funcin objetivo del dual vendrn dados por los coeficientes del lado
derecho de las restricciones del primal.
5. Los coeficientes del lado derecho del dual vendrn dados por los coeficientes de la funcin
objetivo del primal.
6. Los coeficientes que acompaaran a las variable en una restriccin del dual
correspondern a aquellos coeficientes que acompaan a la variable primal
correspondiente a la restriccin dual 3.
7. Para saber si las restricciones duales son de , = o , se recurre a la tabla de relaciones
primal-dual.

Para saber si las variables duales son se recurre a tabla de relaciones primal dual.

Consideremos el siguiente par primal-dual:

Teorema dbil de dualidad

Si e son factibles para (P) y (D) respectivamente, entonces z()

w().

Teorema fundamental de dualidad

Dados un par de problemas primal-dual, si uno de ellos admite solucin ptima, entonces
el otro tambin la admite y los respectivos valores ptimos son iguales.

Teorema de holgura complementaria

Sea una matriz de m filas y n columnas.
Sea el par primal-dual siguiente:

Sean Si e e soluciones
factibles
para
respectivamente. Si e e son ptimos si y solo si:

los

problema

(P)

Notar que son las variable de holgura de los problemas (P) y (D) respectivamente.

(D)