1.

- Simplificar

( A B ) ( A B ) ( C D ) ( C D )
( A B) A

2.- Simplificar, luego escribir la tabla de verdad e indique cuando la proposicin es verdadera

[ ( A B ) ( A B ) ] ( A B ) C B
[ B B A ( A B ) ] A
3.- Construya la tabla de verdad e indique si las siguientes proposiciones son tautologa, contradiccin o contingencia
[ A ( A B ) ] ( B C )
A ( A B )
[ P ( Q R ) ] [ ( R Q ) P ]
4.- Dado que [ ( P S ) Q ] R es una proposicin falsa y S ( P R ) es falsa, determine el valor de verdad
de P, Q y R
1.- ( A B ) ( A B ) ( C D ) ( C D )
( A B ) ( A B ) ( C D ) ( C D ) Condicional simple
( A B ) ( A B ) ( C D ) ( C D ) Morgan
A ( B B ) C ( D D ) Distributividad
A V C V Complemento
A C Identidad

( A B) A
[( A B) A ][ A ( A B)] Definicin
[ ]
( A B ) A [ A ( A B ) ] Condicional simple
[ ( A B ) A ] [ A ( A B ) ] Morgan
A [ A ( A B ) ] Absorcin
A [ ( A A ) B ] Asociatividad
A ( A B ) Idempotencia
( A A ) ( A B ) Distributividad
F ( A B) Complemento
A B Identidad

2.- [ ( A B ) ( A B ) ] ( A B ) C B
V ( A B) C B Complemento
( A B) C B Identidad
B ( A B ) C Asociatividad
BC Absorcin

B C BC
V V V
V F F
F V F
F F F
Solo cuando B y C son verdaderos

[ B B A ( A B ) ] A
[V A ( A B ) ] A Complemento
VA Identidad
A Identidad
Es verdadera cuando A es verdadera

3.- [ A ( A B ) ] ( B C )
 A B C ( A B ) [ A ( A B ) ] (B C) [ A ( A B ) ] ( B C )
V V V V V V V
V V F V V V V
V F V F F V F
V F F F F F F
F V V V V V V
F V F V V V V
F F V V V V V
F F F V V F F
Contingencia

A ( A B )

A B A B A ( A B )
V V V V
V F F V
F V V V
F F V V
Tautologa

[ P ( Q R ) ] [ ( R Q ) P ]
P Q R ( Q R ) [ P ( Q R ) ] ( R Q ) [ ( R Q ) P ] [ P ( Q R ) ] [ ( R Q ) P ]
V V V F F V F F
V V F V V V F F
V F V V V F V V
V F F F F V F F
F V V V V V V V
F V F F V V V V
F F V F V F F F
F F F V V V V V

4.- [ ( P S ) Q ] R
R V y [ ( P S ) Q ] F
Q F y ( P S ) V

5.- S ( P R)
S V y ( P R ) F
R V y P V

P V Q F R V