TEMA: Equivalencias Lógicas parte I

DOCENTE: GIANCARLO VLADIMIR NAVARRO CASTRO

1. Hallar el esquema equivalente a:

7. {
Hallar el equivalente de: p ⊕ q ↔ p ⊕ ( q ↔ ( p ⊕ q) )  }
{
    (  p ∧ q) ∨  q →  ( p ∨ q) } a) p ⊕ q
b) p ↔  q
a) p
c)  p ⊕  q
b) q
d)  p ↔ q
c)  p ∧ q
e) Todas las anteriores
d) p ∧ q
e) p ∨ q 8. Hallar el equivalente de:
( p → q) → ( q → p )  ↔ ( p | q)
2. {
Se define: p % q ≡ (  q → p ) →  p  ∧ q ∨  p } a)  q
Simplificar: ( p %  q) % ( q %  p )  % p b) p ∨ q
a) q c) p
b)  q d) p ∧ q
c) p e) p ↔ q
d)  p
9. Reducir el siguiente esquema:
e) p ∨  q
{(  p ∨ q) ∨ ( q ← p ) ∧ r } ∧ q ⊕ ( p → q)

3. {
Dado: p @ q ≡  p → p → ( q ∧ s ∧ r )  ∧ p } a) p|q
b) p↓q
Simplificar: ( p → q) @ ( q ∧ p )  @ ( p ↔ q)
c) p∧q
a) p d) p∨q
b) p ∧  q e) p↔q
c)  p
d)  q ∨  p
10. Reducir: {((p → q) → p) → q → p} → ... , donde el
e)  p ∨ q conectivo “ → ” está 99 veces.
a)  p
4. Simplificar la siguiente expresión: b) p → q
{(p → q) ∨  p ∧ (  q → p )} ∧ q ∨ (r ∧ s) c)  q
a) q d) p
b) p e) p ∧ q
c) p∧q 11. Reducir el esquema: ( p ⊕ q) → ( q → p )  ⊕ ( p ∧ q)
d) p→q a) p → q
e)  q∨  p b)  p
c)  q
5. Hallar el equivalente de: d) p ∨ q
p → ( p ∧ q)  ∨   ( p → q) ↔  ( q → p )  e)  p ∨ q
a) q→p 12. Se define: p θ q ≡ ( p ∧  q) ∨ ( p → q)
b) p→q
Simplificar: (  p θ q) ← q → p ↔ ( q θ p ) 
c) p∧q
d)  q∨  p a) V
b) p ∨ q
e) p
c)  p
6. Simplificar: d) F
e) p
( ( ( ( (
p → p → p → p → p → p → ( p → ( p → q) ) ))))) {
13. Simplificar:    ( p |  q) ∨  p  ↔ ( p ⊕ q ⊕ p ) }
a) p a) p ∨  q
b) q b)  p ∨ q
c)  p∨q c) p ∧ q
d) p d) p ∨ q
e) p∧q e) p ∧  q
14. Se define p Ψ q cuya matriz final es FVFF. Hallar el 21 Simplificar la siguiente fórmula:
esquema equivalente de: ( p Ψ q) ∨ p  ∧ ( q Ψ p ) ∨ q { (p →  q) ∧ q →  p} ↔ q
a) p ∨ q a) p∧q
b) p ∧ q b)  (  p ↓ q)
c)  q
c)  p| q
d)  p ∨ q
d) p| q
e) p ∧  q
e) p↓ q
15. Al simplificar, la fórmula proposicional:
22. Simplificar la siguiente fórmula:
(  p ← q) ↓ (  q → p )  ∨ p | ( q ∧  p )  , tiene como
equivalente a:
{  p → (  q → p )} ∧ (p ⊕  q)
a) p ∧ q a) p∧q
b) V b) p∨q
c) p ↔ q c)  ( p ∧  q)
d) ( p ∨ q) → p d)  ( p ∨  q)
e) ( p ↓ q) ⊕ p e) p∨q
16. Dada la siguiente fórmula:
23. Simplificar:
 ( p ↓ q) ↔ ( p ∨ q)  ← ( p ∧ q) → ( p ∨ q)  . Su fórmula
  ( q ∨  r ) → ( p ∨  q)  ⊕ r
equivalente es:
a) p∧r
1.  p ∨ q
b) q
2.  ( p ↓ q) c) p∧q
3. p |  p d) r
4.  p →  p e) r
5. p ↔ q
24. Simplificar:
Son ciertas:
a) 1 y 2 {(p → q) ∧ (  r →  q) → (p → r )} ↔ (p → r )
b) 1 y 5 a)  p∨q
c) 1, 3 y 5 b)  p∨r
d) 2 y 5
e) 3 y 4 c) q
d) p∧r
17. Dada la fórmula lógica:   ( p ∨ q) ∨ r  ← ( p ∧  r ) . Su e) p↔r
equivalente es:
a)  q ∧ r 25. Simplificar: ( p |  q) → ( q ↓ p )  ⊕ ( p → q)
b) p ∨ q ∨ r a)  q
c) p → q b)  p ∧ q
d) r → p c) p ∧  q
e) p → r d) p ∧ q
e) p ∨ q
18. Al simplificar: (  p ← q) ↓ ( p | q)  ⊕ p , da como
resultado: 26. Simplificar:
a) p ∨  q {(  p ∧ q) → r  ∨ ( q ∨ r )} → (p → r ) ∨ (r ∧ p ) ↔r
b) p ∧  q a) p
c)  p ∧ q b)  p∧q
d)  p ∨ q c) p∨r
e) p ⊕ q d)  q∧r
e)  p∨q
19. Al aplicar leyes de equivalencia al siguiente esquema:
{(p ↓ q) ⊕ p ∧ (r ∨ s)} ← (r ↔ s) ∧ (  r ⊕  s) . 27. Reducir al máximo la siguiente proposición:
Su equivalente es: {(p → q) ∧ p ∨  ( q → p )} →  (p ∨  q) ⊕ ( p ∧ q)
a) r ↔ s
a) F
b) p ⊕ q
b)  ( p ∧ q)
c) r ⊕ s
c) p→q
d) p ∧ q ∧ r ∧ s
e) p → s
d) V
e)  ( p ∨ q)
20. La simplificación del siguiente esquema:
28. Reducir a su mínima expresión:
( p ⊕  q) → (  p ↔ q)  ⊕  q , es:
{ (p ∧ q) →  q ∨ p} ← (p ⊕ q)
a) p→q
a) p∨q
b) q
b)  p∧q
c) p∧q
c) p∧q
d) p
d) p
e) p
e) p∨q