Está en la página 1de 30

Teoremas, formas cannicas y simplificacion

Introduccin o Es un sistema de elementos pertenecientes al conjunto de nmeros binarios b={0,1} y que son sometidos a los operadores binarios AND () y OR(+) y NOT() definidos de la siguiente forma
OR
AND NOT

Introduccin
o que cumplen las siguientes propiedades:

1.- PROPIEDAD CONMUTATIVA: Escanea tus A+B=B+A apuntes de AB=BA cuaderno y asocia 2. PROPIEDAD DISTRIBUTIVA: los teoremas A (B+C) = A B + A C A + B C = (A+B) (A+C) 3. ELEMENTOS NEUTROS DIFERENTES A+0=A A1 =A 4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A A + A = 1 A A = 0

4.1.1 Funciones booleanas simples


TEOREMA 1: el elemento complemento A es nico. A+A=1 A A=0 TEOREMA 2 (ELEMENTOS NULOS/CERRADURA): para cada elemento del conjunto b={0,1} se verifica: A+1 = 1 A0=0 TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1 A+0 = 0 1=0 A1=1 TEOREMA 4 (IDEMPOTENCIA/CONMUTATIVA): para cada elemento del conjunto b={0,1}, se verifica: A+A=A A A=A TEOREMA 5 (INVOLUCIN): para cada elemento del conjunto b={0,1}: (A) = A

4.1.1 Funciones booleanas Compuestas


TEOREMA 6 (ABSORCIN): para cada par de elementos de b={0,1}, se verifica: A+(A B)=A A (A+B)=A TEOREMA 7: para cada par de elementos del conjunto b={0,1}, se verifica: A + (A B) = A + B A + (A B) = A + B A (A + B) = A B TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad asociativa: A+(B+C) = (A+B)+C = A+B+C A (B C) = (A B) C = ABC TEOREMA 9 (DISTRIBUTIVA): para cada par de elementos de b={0,1}, se verifica: A (B + C) = (A B) + (A C) (A+B) (C+D)=(A C)+(A D)+(B C)+(B D) A + (B C) = (A + B) (A + C) LEYES DE DEMORGAN: para cada par de elementos de b={0,1}, se verifica: (A+B) = AB Checa tus apuntes de cuaderno y (AB) = A + B

asocia los teoremas

4.2.0 Forma Cannica


o TRMINO PRODUCTO.- es la expresin booleana que

solamente incluye operaciones AND entre sus variables (afirmadas o negadas).


Ejemplos:
o FORMA SP (suma de productos)/frmula normal

disyuntiva.- es una funcin booleana formada exclusivamente por la suma (OR) de trminos productos.
Ejemplo: + + C
o MINTRMINO.- Trmino producto que contiene todas las

variables de la funcin.
Ejemplo: + + C , el mintrmino es C
o FORMA CANONICA SP (suma de productos).- Es la funcin

booleana cuyos trminos productos son todos mintrminos, es decir, poseen todas las variables de la funcin.
Ejemplo: F ACB = + + C

4.2.0 Forma Cannica


o TRMINO SUMA.- es la expresin booleana que solamente

incluye operaciones OR entre sus variables (afirmadas o negadas).


Ejemplos: + + + +
o FORMA PS (producto de sumas)/frmula normal conjuntiva.-

es una funcin booleana formada exclusivamente por el producto (AND) de trminos suma.
Ejemplo: + + + +C
o MAXTRMINO.- Trmino suma que contiene todas las variables

de la funcin.
Ejemplo: + + + +C , + +C el maxtrmino es

o FORMA CANONICA PS (producto de sumas).- Es la funcin

booleana cuyos trminos suma son todos maxtrminos, es decir, poseen todas las variables de la funcin.
Ejemplo: F ACB = + + + + + +C

4.2.1 Minitrminos y Maxitrminos :


o a partir de las formas cannicas podemos representar la funcin

que representa una tabla de verdad, dependiendo de lo que usemos, mintrminos (en caso de que la tabla de verdad tenga mas 1s que ceros) o maxtrminos (en caso de que posea mas 0s que unos)

NOTACION:
o recordemos esta tabla.

Variable Afirmada Negada

Mintrmino Mas 1s que 0s 1 0

Maxtrmino Mas 0s que 1s 0 1

4.2.1 Minitrminos :
o Ejemplos: Buscando

mintrminos la notacin se realiza de la siguiente forma.


Vari Min Max

mo m2 m3

Afirmada
Negada

1
0

0
1

m7

4.2.1 Maxitrminos :
o Ejemplos: Buscando

maxtrminos la notacin se realiza de la siguiente forma.


Vari
Afirmada Negada

M1

Min
1 0

Max
0 1

M4 M5 M6

4.2.1 Minitrminos y maxitrminos


o El complemento de una frmula de mintrminos deriva de su

maxtrmino correspondiente.

mi = Mi

Ej: 2 = = 010 ,

2 = = + + = 2 = 010 o El complemento de una frmula de maxtrminos deriva de su mintrmino correspondiente

Mi = mi
010

Ej: 2 = + + = 010 , 2 = + + = = = 2 =

o La transformacin de una frmula de mintrminos (disyuntiva) en

otra de maxtrminos (conjuntiva) se basa en Varila doble Min complementacin,

Max 0 1

(F) = F

Afirmada Negada

1 0

4.2.2 Funciones incompletas


o Para FUNCIONES INCOMPLETAS en la tabla de verdad

aparecer una X o una letra d (del ingls dont care) refirindose a trminos sin especificar.

4.2.3 Obtencin de la Forma Cannica


booleana:

o Forma cannica SP (suma de productos): partiendo de la expresin


1.

2.

3.

4.

5.

Escribir la expresin en forma SP por morgan. A cada trmino producto multiplicarlo por 1, escrito en trminos de la variable faltante. Hacer lo anterior tantas veces como variables falten. Aplicar distributividad del producto sobre la suma. Aplicar idempotencia a trminos semejantes

4.2.3 Obtencin de la Forma Cannica


booleana:

o Forma cannica PS (producto de suma): partiendo de la expresin


1.

2.

3.

4.

5.

Escribir la expresin en forma PS por morgan. A cada trmino suma sumarle 0, escrito en trminos de la variable faltante. Hacer lo anterior tantas veces como variables falten. Aplicar distributividad del producto sobre la suma. Aplicar idempotencia a trminos semejantes

4.2.3 Obtencin de la Forma Cannica EJEMPLOS:

4.2.4 Ejemplos: Diagrama a funcin

4.2.4 Ejemplos: Diagrama a funcin con implementacin NAND

4.2.4 Ejemplos: Diagrama a funcin con implementacin NOR

4.2.5 Simplificacin booleana

4.2.5 Simplificacin booleana

4.2.5 Simplificacin booleana

4.2.5 Simplificacin booleana

4.2.6 Mapas de Karnaugh


o Es un mtodo grfico por el cual podemos simplificar funciones

lgicas, a partir de la tabla de verdad, la funcin en si y/o su equivalente cannico, escogiendo mintrminos o maxtrminos.
Vari Afirmada Min 1 Max 0

Negada

Vari

Min 1 0

Max 0 1

4.2.6 Mapas de Karnaugh

Afirmada Negada

Vari

Min 1 0

Max 0 1

4.2.6 Mapas de Karnaugh


o Agrupamientos por pares eliminan 1 variable

Afirmada Negada

Vari

Min 1 0

Max 0 1

4.2.6 Mapas de Karnaugh

Afirmada Negada

o Agrupamientos cudruples eliminan 2 variables

Vari

Min 1 0

Max 0 1

4.2.6 Mapas de Karnaugh


o Agrupamientos ctuples eliminan 3 variables
o Y as sucesivamente

Afirmada Negada

Vari

Min 1 0

Max 0 1

4.2.6 Mapas de Karnaugh


o Ejercicios de 5 o mas variables.

Afirmada Negada

4.2.7 Mtodo de Quine-Mcclausky

4.2.5 Simplificacin booleana 4.2.6 Mapas de Karnaugh 4.2.7 Mtodo de Quine-Mcclausky

También podría gustarte