U

N
I
V
.
:

A
Y
R
T
O
N

R
E
N

A
R
G
A
N
I

Q
U
I
S
B
E
R
T

1

ESTRUCTURAS DI SCRETAS
EJERCI CI OS PROPUESTOS

1 . A A C =
| | | | | |
| |
| |
( ) ( )
, ( ) ...(1)
, ( ) ...(2)
(1) ( )
(2)
(3)
Demost r acin:

Demost r acion p ara (1):
Premisa
Def. de Difer encia Relat iva (1)
Simplificacion (2)

Demost
A A A A A A
x x A x A
x x A x A
x A
x A x
x A
A A
C= C _ . _ C
e C e

e e C

e C
e . eC
e
C _
r acion p ara (2): SE DEJA PARA RESOLVER AL ESTUDIANTE.


2 . A A = C
| | | | | |
| |
| |
( ) ( )
, ( ) ...(1)
, ( ) ...(2)
( )
Demost raci n:

Demost racio n par a (1):
Def. de Diferencia Relat iva
Ley d e co nt radicci n
Equivalencia de cont radicci
A A A A A A
x x A A x
x x x A A
x A A x A x A
F
x
= C _C . C_
e eC

eC e

e e . e

eC n

Demost racio n par a (2): SE DEJA PARA RESOLVER AL ESTUDIANTE.
A A _C


3 . ( ) ( ) ( ) A B C A B A C =

| |
| |
| |
[ ( )] [( ) ( )] ...(1)
( ) ( ) ( )
[( ) ( )] [ ( )] ...(2)
[ ( )] [( ) ( )] ...(1)
[( ) ( )] [ ( )] ...
,
, (2)
[ (
Dem o st r aci n:
Dem o st r acio n par a (1):
A B C A B A C
A B C A B A C
A B A C A B C
x A B C x A B A C
x A B A C
x
x A
A
x
x B C

e e
_
_

e e

e )] ( )
[ ]
[ ]
[ ]
[ ] ( )
[ ] ( )
[
( )
( ) ( )
( )
~ [ ]
( ) ( )
]
( ) ~ ( )
[ ]
Def. d e Int
x B x C
x A x A
x C x A x C x A
x A x
B C x A x B C
x A
x A x B x C
x A x B
x B x C x A
x B x C x A
C x A
x A
x C x A
A B A C
x
A B A C
B x A
x x
x
.
e . e
e . e
e v e . e v e
e . e v e
e
e
e e
e .
e . e . e v
e . e .
e . . e v
. e
e
e . . e v e

e . e .
e . e
e
| | | |
[ ]
( ) ( ) ( )
ersecci n
Def. d e Dif. Relat iva
Elent o Neut ro en
Dist rib ut ividad
Aso ciat ividad
Ley de abso rci n
Ley de DeMo r gan
Def. d e Uni n e Int er seci n
Def. d e Dif. Relat iva.
Dem o st r acio n par a (2):
A B C A B A C
v
_
SE DEJA PARA RESOLVER AL ESTUDIANTE.


U
N
I
V
.
:

A
Y
R
T
O
N

R
E
N

A
R
G
A
N
I

Q
U
I
S
B
E
R
T

2

4 .
C C
A B B A _ _
( ) ( ) ...(1)
( ) ( )
( ) ( ) ...(2)
,[ ]
,[ ]
Demost racin:
Demost racion para (1):
Def. de Inclusin
Especificacin Univer sal
Cont
C C
C C
C C
C C
C C
C C
A B B A
A B B A
B A A B
x x A x B
A B
x A x B
x B x A
x B x A
x x B x A
B A
_ _

_ _

_ _

e e
_
e e

e e

e e
e e

_
( ) ( )
rarecpr oca
Def. de Co mplement o
Generalizacin Universal
Def. de Inclusin
Demost racion para (2): SE DEJA PARA RESOLVER AL ESTUDIANTE.
C C
A B B A _ _


5 . ( ) ( ) ( ) A B C A B A C =
| |
| |
| |
[ ( )] [( ) ( )] ...(1)
( ) ( ) ( )
[( ) ( )] [ ( )] ...(2)
[ ( )] [( ) ( )] ...(1)
[( ) ( )] [ ( ) ...(
,
, 2)
[ (
Demo st raci n:
Demo st racio n p ara (1):
A B C A B A C
A B C A B A C
A B A C A B C
x A B C x A B A C
x A B A
x
C x A B C
x A B
x

e e

e e

e
_

)] ( )
( )
~ [ ]
[ ]
~ [ ]
[ ] [
[ ]
( ) ( )
[( ) ( )]
]
Def . d e Dif . Relat iva
Ley d e DeMo rg an
Def . d e Uni n
Ley d e DeMo rg an
Id emp o
C x A x B C
x A x B C
x A
x A
x B x C
x A x B x A x C
x
x B x C
x B x C
x A x A
A B x
x
A C
A B A C
.
e
e v e
e . e
e . e
.

e e
e .
e .
e .
. e . e
e . e e . e
e

. e
e
[ ( )] [( ) ( )]
t encia
Aso ciat ivid ad
Def . d e Dif . Relat iva
Def . d e Int erseci n
Demo st racio n p ara (2): SE DEJA PARA RESOLVER AL ESTUDIANTE.
A B C A B A C _

6 . ( ) ( ) A B C A B C A A = A A

| |
| | | |
| |
| |
( ) ( ) ( ) ( )
( ) ( )
[( ) ] [ ( ) ,
,
] ...(1)
[ ( )] [( ) ...(2)
[( ) ] ( )
[ ]
Demo st raci n:
Demo st racio n p ara (1):


A B C A B C A B C A B C
A B C A B C
x A B C x A B C
x
x
A B C x A B C
x A B C x A B x C
x A x B
A
x
x C
x
A A _ A A . A A _ A A
A A = A A
e A A e A A

e A A e A A

e A A e A v e
e v e v e
e v

]
( )
[ ( )]
( ) ( )
Def. d e Dif. Simt rica
Def. d e Dif. Simt rica
[ Aso ciat ivid ad
Def. d e Dif. Simt rica
Def. d e Dif. Simt rica
Demo st racio n p ara (2): SE DEJA PARA RESOL
x B x C
x A x B C
x A B C
A B C A B C
e v e
e v e A
e A A
A A _ A A
VER AL ESTUDIANTE.



U
N
I
V
.
:

A
Y
R
T
O
N

R
E
N

A
R
G
A
N
I

Q
U
I
S
B
E
R
T

3

7 . A A AC =

| | | | | |
| |
| |
,
( ) ( )
( ) ...(1)
( ) ...(2)
( ) [( ) ( )]
( ) ( )
( ) ~ ( )
( ) ( )
( ) (
,
Demost r acin:

Demost r acion para (1):
A A A A A A
x A x A
x A x A
x A x A A
x A x A
x A x x A x
x A x x A x
x
x
x
A F x A
AC= AC _ . _ AC
e AC e

e e AC

e AC e C C
e C . e C
e v eC . e . eC
e v eC . e v eC
e v .

v )
Def. de Difer encia Simt r ica
Def. de Difer encia Relat iva
Def. de Unin e Int erseccin
Ley de DeMor gan
Def. de conjunt o vaco
Leyes d e Ident id ad
Ley de Ident idad

Demost r acion para (2):
x A
x A
A A
T
e .T
e
AC _
SE DEJA PARA RESOLVER AL ESTUDIANTE.


8 . A A A = C

| | | | | |
| |
| |
( ) ( )
( ) ...(1)
( ) ...(2)
( ) [( ) ( )]
( ) (
,
)
( ) ~ ( )
,
Demost racin:

Demost racion para (1):
Def. de Diferencia Simt r ica
Def. de Di
A A A A A A
x A A x
x x A A
x A A x A A A A
x A A
x
x
x A A
x A x A
F
x
A = C A _C . C_ A
e A eC

eC e A

e A e
e . e
e . e

eC

ferencia Relat iva

Idempot encia
Ley de Cont radiccin
Equivalencia de cont radicci n

Demost racion para (2): SE DEJA PARA RESOLVER AL ESTUDIANTE.
A A A _ C


9 . ( ) ( ) ( ) A B C A B A C A = A

| |
| | | |
| |
| |
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
[ ( )] [( ) ( )] ...(1)
[( ) ( )] [ ( )] .
,
, ..(2)
[ ( )] ( )
Demo st raci n:
Demo st racio n p ara (1):
A B C A B A C A B A C A B C
A B C A B A C
x A B C x A B A C
x A B A C x A B C
x A B C
x
x
x A x B C
x
A _ A . A _ A
A = A
e A e A

e A e A

e A e . e A

[ ]
[ ] [ ]
[ ( )] [ ( )]
[( ) ( )]
( ) ( ) ( )
Def. d e Dif . Simt rica
Def. d e Dif . Simt rica
Aso ciat ivid ad
Def. d e Dif. Simt rica
Def. d e Dif . Simt rica

Demo st r
A x B x C
x A x B x A x C
x A B x A C
x A B A C
A B C A B A C
e . e v e
e . e v e . e
e v e
e A
A _ A
acio n p ara (2): SE DEJA PARA RESOLVER AL ESTUDIANTE.


U
N
I
V
.
:

A
Y
R
T
O
N

R
E
N

A
R
G
A
N
I

Q
U
I
S
B
E
R
T

4

1 0 . ( ) ( ) A B C A C B =
| |
| |
| |
[( ) ] [( ) ] ...(1)
( ) ( )
[( ) ] [( ) ] ...(2)
[( ) ] [( ) ...(1)
[( ) ] [( ) ...(2)
[( ) ] ( )
(
,
,
Demo st raci n:
Demo st racio n p ara (1):
A B C A C B
A B C A C B
A C B A B C
x A B C x A C B
x A C B x A B C
x A B C x A B x C
x
x

e e

e e

e e
_
_

. e

)
( )
( )
[ ]
( ) (
( )
)
Def . d e Dif. Relat iva
Ley d e DeMo rg an
Def . d e Uni n
Ley d

e DeMo rg an
Id emp o t encia

Demo st racio n p ara (2): SE DEJA PARA RESOLVER AL ESTUD
x A x C
x A x C x B
x x B
x B
x
A B C A
A C
B C
C
A
B
e
e
e . e .
. .

e e
e e
e

.

_
IANTE.