TAREA3

Para la resolución de los siguientes ejercicios, habrá de verificar mediante tablas de verdad la
equivlencia de dichas proposiciones. A continuación, debe de realizar el circuito de compuertas
equivalente e indicar si es una tautología, contradicción o contingencia y culminar publicando la
imagen de dichos circuitos junto a la resolución de los mismos.

1. Doble negación p↔¬(¬p)

p ¬p ¬(¬p)

1 0 1

2. Propiedad conmutativa de la Conjunción p ʌ q ↔qʌp

p q pʌq qʌp

0 0 0 0
0 1 0 0
1 0 0 0
1 1 1 1
3. Propiedad Conmutativa de la disyunción p v q ↔ q v p

p q pvq qvp

0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1
4. Propiedad Asociativa de la Conjunción p ʌ (q ʌ r) ↔ (p ʌ q) ʌ r
p q
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
5. Propiedad Asociativa de la Disyunción p v (q v r) ↔ (p v q) v r
p q
0 0
0 0
0 1
0 1
1 0
1 0
1 1
1 1
r (q ʌ r) p ʌ (q ʌ r) (p ʌ q) (p ʌ q) ʌ r
0 0 0 0 0
1 0 0 0 0
0 0 0 0 0
1 1 0 0 0
0 0 0 0 0
1 0 0 0 0
0 0 0 1 0
1 1 1 1 1
r (q ʌ r) p ʌ (q ʌ r) (p ʌ q) (p ʌ q) ʌ r
0 0 0 0 0
1 1 1 0 1
0 1 1 1 1
1 1 1 1 1
0 0 1 1 1
1 1 1 1 1
0 1 1 1 1
1 1 1 1 1
6. Ley de De Morgan1 ¬(p ʌ q) ↔ (¬p) v (¬q)
p q pʌq ¬(p ʌ q) ¬p ¬q (¬p) v (¬q)

0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0
7. Ley de De Morgan2 ¬(p v q) ↔ (¬p) ʌ (¬q)

p q pvq ¬(p v q) ¬p ¬q (¬p) ʌ (¬q)

0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

8. Definición del implicador p → q ↔ ¬p v q

p q p→q ¬p ¬p v q

0 0 1 1 1
0 1 1 1 1
1 0 0 0 0
1 1 1 0 1
9. Contrarecíproco del implicador p → q ↔ ¬q→¬p

p q ¬p ¬q p→q ¬q→¬p

0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 0 0 1 1

10. Definición del coimplicador p ↔ q↔(p → q) ʌ(q→ p)

p q p↔q p→q q→ p (p → q) ʌ(q→ p)

0 0 1 1 1 1
0 1 0 1 0 0
1 0 0 0 1 0
1 1 1 1 1 1