Professional Documents
Culture Documents
PROFESORA:
ELLUZ UZCATEGUI.
PREPARADOR:
JOSE ROSENDO.
1) Desarrollando:
( pqr )
( ( pqr) s) ^ (s ( pqr) )
( ( pqr) s) ^ (s ( pqr) )
(p q r s) ^ (s ( pqr) )
Ley de De Morgan
(p q r s) ^ ( ( sp)( sq )( sr ) )
Distributiva
Completando ( sp)
( sp)f
Identidad
( sp)( q q)
Complementacin
( spq )( s pq)
Distributiva
Identidad
Complementacin
( spqr )( s pq r )( s pqr )( sp qr )
Complementacin
2)
_____
Dual de:{[(a | b | c) & 1] | (a & c)} | 0 = 1
____
Es:
{[(a & b & c) | 0] & (a | c)} & 1 = 0
Demostrando sobre el dual, partiendo de lado izquierdo para llegar al lado derecho:
____
{[(a & b & c) | 0] & (a | c)} & 1
____
{[(a & b & c) | 0] & (a | c)}
Identidad
Identidad
a&b&c&a&c
Asociativa
Comutativa y Asociativa
0&b&c
Complementacion
0 = L2
Identidad
a b R ]
ab R
La resta es L.C.I. en R
(ab)3 R
La potencia a la 3 es L.C.I. en R
a bR
Definicin de a b R
es L.C.I en R.
Asociatividad:
[( a , b , c R ^ a (b c)R ) (a b) c R ]
Tomando en cuenta que la resta no es asociativa y un numero elevado a la 3 genera un resultado
con el mismo signo que el numero original, puedo inferir que la operacin no es asociativa, as que
usare un contraejemplo para mostrarlo. Sea a = 1, b = 0, c = 3, desarrollamos ambos lados con esos
valores:
Desarrollando L1 = a (b c) = a (bc)3 = (a( bc)3)3 21952
Desarrollando L2 = a b c = (ab)3 c = (( ab)3 c)3 -8
Ambos resultados son distintos, y como hemos hallado un contrajemplo, podemos asegurar que no
es asociativa en R.
Conmutatividad:
[( a , bR ^ (a b)R ) (b a)R ]
En base al hecho que la resta no es conmutativa en R, buscare un ejemplo para mostrar que no es
conmutativa en R. Sea a = 1, b = 0, desarrollo ambos lados
Desarrollo L1
Desarrollo L2
3
(ab) = 1
3
(ba) = -1
Ambos resultados son distintos, y como hemos hallado un contraejemplo, podemos asegurar que
no es conmutativa en R.
Elemento Neutro: como la operacin no es conmutativa, no se puede hallar elemento neutro general,
y por lo tanto, tampoco elemento inverso. Aunque si se puede calcular el elemento neutro para ambos
lados (elemento neutro izquierdo por la derecha y por la izquierda).