Vous êtes sur la page 1sur 3

UNIVERSIDAD DE CARABOBO.

FACULTAD EXPERIMENTAL DE CIENCIAS Y TECNOLOGIA.


DEPARTAMENTO DE COMPUTACION.
CATEDRA DE ELEMENTOS DISCRETOS.

PROFESORA:
ELLUZ UZCATEGUI.
PREPARADOR:
JOSE ROSENDO.

Taller L.C.I & Algbra de Boole.


1) Encuentre la Forma Normal Conjuntiva Completa de la siguiente proposicin.
( pqr)

2) Sea la estructura B = (B, &, |, ; 1, 0) un lgebra Booleana y sea la equivalencia:


_____
{[(a | b | c) & 1] | (a & c)} | 0 = 1
Calcule el dual de la expresin dada y demuestre la veracidad de la equivalencia resultante.
3) Sea una operacin binaria definida como a b = (a-b)3, donde a , b R , demuestre que :
* Es L.C.I. * Es Asociativa. * Es Conmutativa.
*Hallar Elementos Neutro e Inverso.

1) Desarrollando:
( pqr )

( ( pqr) s) ^ (s ( pqr) )

Definicin del Bicondicional

( ( pqr) s) ^ (s ( pqr) )

Definicin del Condicional

(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

(( s pq)f )(( s p q)f )

Identidad

(( s pq)(rr ))(( sp q)(r r))

Complementacin

( spqr )( s pq r )( s pqr )( sp qr )

Complementacin

Haciendo un proceso similar para ( sq) y ( sr ) y ordenando lexicogrficamente, al final queda


(p q r s) ^
( pqr s)( pq r s )( pqr s)( p qr s) ^
( pqr s)( pq r s )( pqr s)( pqr s) ^
( pqr s)( p qr s )( pqr s)( pqr s)
Aplicando idempotencia, se eliminan disyunciones fundamentales repetidas y el resultado es:
( pqr s)( pq r s )( pqr s)( p qr s) ^
( pq rs)( pqr s)( pq r s)( pqr s)

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

{[(a & b & c) | 0] & (a & c)}

De Morgan y Doble negacion

{[(a & b & c)] & (a & c)}

Identidad

a&b&c&a&c

Asociativa

(a & a) & b & c

Comutativa y Asociativa

0&b&c

Complementacion

0 = L2

Identidad

Queda demostrada la validez del teorema de dualidad.

3) Demostramos que es l.c.i:


[ a , b R

a b R ]

Aplicando P.U. y partiendo del antecedente:


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).