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

I NGENI ER A I NFORMTI CA ESTRUCTURAS DI SCRETAS I NF-119

LEYES DE LA LGI CA PROPOSI CI ONAL

TABLAS DE VERDAD DE LAS OPERACI ONES CON PROPOSI CI ONES
CONJUNCI N DI SYUNCI N
DI SYUNCI N
EXCLUSI VA
CONDI CI ONAL BI CONDI CI ONAL
p q p q . p q v p q v p q p q
V V V V
F
V V
V
F F
V V
F F
F
V
F
V V V
F
F F F F F
V V


I DEMPOTENCI A
1. ( ) p p p . 2. ( ) p p p v

CONMUTATI VI DAD
3. ( ) ( ) p q q p . .

6. ( ) ( ) p q q p
4. ( ) ( ) p q q p v v

7. ( ) ( ) p q q p + +
5. ( ) ( ) p q q p v v

8. ( ) ( ) p q q p | |

ASOCI ATI VI DAD
9. ( ) ( ) p q r p q r ( (

. . . .

11. ( ) ( ) p q r p q r ( (


10. ( ) ( ) p q r p q r ( (

v v v v

12. ( ) ( ) p q r p q r ( (

v v v v

DI STRI BUTI VI DAD
13. ( ) ( ) ( ) p q r p q p r ( (

. v . v .

14. ( ) ( ) ( ) p q r p q p r ( (

v . v . v
Di st r i b u ci n sol o
p or l a i z q u i er d a
15. ( ) ( ) ( ) p q r p q p r ( (

. .

16. ( ) ( ) ( ) p q r p q p r ( (

v v

17. ( ) ( ) ( ) p q r p q p r ( (




LEYES DE I DENTI DAD
18. ( ) p T p .

es elemento neutro en T .
19. ( ) p T T v

es elemento absorbente en T v
20. ( ) p F F .

es elemento absorbente en F .

21. ( ) p F p v

es elemento neutro en F v



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

LEYES DE COMPLEMENTACI ON
22. ( ~ ) p p T v

Ley de Tercero Excluido
23. ( ~ ) p p F .

Ley de Contradiccin
24. ~ (~ ) p p

Ley de Involucin o de Doble Negacin
25. ~ T F

26. ~ F T

NEGACI N DE LAS OPERACI ONES BI NARI AS
Leyes d e
DeMor gan
27. ~ ( ) (~ ~ ) p q p q . v
28. ~ ( ) (~ ~ ) p q p q v .
29. ~ ( ) ( ~ ) p q p q .

33. ~ ( ) ( ) p q p q v
30. ~( ) ( ) p q p q + v

34. ~ ( ) (~ ) ( ~ ) p q p q p q
31. ~( ) ( ) p q p q | .

35. ~ ( ) ( ~ ) (~ ) p q p q p q . v .

32. ~ ( ) ( ) p q p q v

36. ~ ( ) ( ) (~ ~ ) p q p q p q v . v


LEYES DE LA CONDI CI ONAL
37. ( ) (~ ) p q p q v

Definicin de la Implicacin Material
38. ( ) ( ~ ) p q p q |

Reduccin de la Implicacin Material
39. ( ) (~ ~ ) p q q p

Ley de Transposicin

40. ( ) ( ) p q r q p r ( (



Ley de Conmutacin Simple

41. ( ) ( ) p q r p q r ( (

.

1 Ley de Exportacin
ra

42. ( ) ( ) p q r q p r ( (

.

2 Ley de Exportacin
da


LEYES DE LA BI CONDI CI ONAL
43. ( ) ( ) ( ) p q p q q p (

.

Definicin de la Equivalencia Material
44. ( ) ( ) (~ ~ ) p q p q p q (

. v .

Reduccin de la Equivalencia Material
45. ( ) (~ ~ ) p q p q

Inversin de la Bicondicional

46. ( ) (~ ~ ) p q q p

Transposicin de la Bicondicional


LEYES DE ABSORCI N
47. ( ) p p q p (

. v

49. (~ ) ( ) p p q p q (

. v .
48. ( ) p p q p (

v .

50. (~ ) ( ) p p q p q (

v . v