Documente Academic
Documente Profesional
Documente Cultură
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
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
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
booleana cuyos trminos suma son todos maxtrminos, es decir, poseen todas las variables de la funcin.
Ejemplo: F ACB = + + + + + +C
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.
4.2.1 Minitrminos :
o Ejemplos: Buscando
mo m2 m3
Afirmada
Negada
1
0
0
1
m7
4.2.1 Maxitrminos :
o Ejemplos: Buscando
M1
Min
1 0
Max
0 1
M4 M5 M6
maxtrmino correspondiente.
mi = Mi
Ej: 2 = = 010 ,
Mi = mi
010
Ej: 2 = + + = 010 , 2 = + + = = = 2 =
Max 0 1
(F) = F
Afirmada Negada
1 0
aparecer una X o una letra d (del ingls dont care) refirindose a trminos sin especificar.
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
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
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
Afirmada Negada
Vari
Min 1 0
Max 0 1
Afirmada Negada
Vari
Min 1 0
Max 0 1
Afirmada Negada
Vari
Min 1 0
Max 0 1
Afirmada Negada
Vari
Min 1 0
Max 0 1
Afirmada Negada