Professional Documents
Culture Documents
Taller Sobre Método Algebraico
Taller Sobre Método Algebraico
Todas las siguientes equivalencias son correctas. Aplique el Método algebraico en ellas
para convertir la fórmula de la izquierda en la de la derecha o viceversa. Recuerde que
puede aplicar cualquiera de las leyes de equivalencia vistas. Tenga en cuenta que dichas
leyes pueden aplicarse tanto de derecha a izquierda como de izquierda a derecha. No
olvide escribir, para cada caso, el nombre de la equivalencia utilizada.
1. ¬ [( ¬ p ∨ q ) ⇒ ¬ ( p ∧¬ q ) ] ≡ F
2. p ∧¬t ≡¬( p ⇒ t)
3. ( p ∧q ) ∨ [( p ∧q ) ∧ ¬r ] ≡ p ∧q
4. [ ( p ∨¬q ) ⇒ r ] ⇒ [ (¬ p∧ q ) ∨r ] ≡V
5. [ ( p ∨¬q ) ∧ q ] ⇒ p ≡V
6. ¬ [( p ∧ s ) ∧¬ q ] ∧¬ [ ( p ∧ s ) ∧q ] ≡ p ⇒ ¬s
7. ¬ [( t ⇒ p ) ∧ ( t ⇒¬ p ) ] ≡t
8. [ p ⇒ ( s ⇒ r ) ] ⇒ [ p ∧ (¬ r ∧¬ s ) ] ≡ p ∧¬ r
9. [ ¬ p ⇒ ( q ∨ p ) ] ∧ [ ¬ p ⇒ ( q ∨¬ p ) ] ≡ p ∨ q
10.t ⇒ ( p ∧¬ p ) ≡ ¬t
12. ( q ⇒ p ) ⇒ p ≡ p ∨q
13. p ∧ [ ( p∨ q ) ⇒ q ] ≡ p ∧ q
14.¬ {[ p ∨ ( p ∧ q ) ] ∧ ( p⇒ q ) }∨ q ≡V
15.¬ {[ ¬q ∧ ( ¬q ∨ p ) ] ∧ ( p ⇒ q ) } ∨¬ p ≡V
16. ( p ⇒ q ) ⇒¬ [ ¬q ⇒ ( q ⇒ p ) ] ≡ p ∧ ¬q
17. [ ¬ p ∧ ( r ∨¬ p ) ] ∨ [ p ∨ ( r ∧ p ) ] ≡V
18. [ ( p ⇒ q ) ∧¬ q ] ⇒¬ p ≡V
19.¬ ( p ⇒ q ) ⇒ ( p ⇒ ¬ q ) ≡V
20.¬ {[ ( ¬ p ∨q ) ∧ p ] ⇒q } ≡ F
21.¬ [¬ ( ¬q ⇒ r ) ∨¬ ( ¬q ⇒ ¬r ) ] ≡q
22.¬ [( ¬ p ⇒ q ) ∧ ( q ⇒ p ) ] ≡¬ p
23. [ ( ¬ p ⇒ q ) ∧ ( ¬ p ⇒¬q ) ] ∧ [ ( q ⇒¬ p ) ⇒ ¬ ( q ⇒ p ) ] ≡ p∧ q
24. [ p ∧ ( ¬ p ∨r ) ] ⇒r ≡V
25. [ ( p ⇒ q ) ∧ ( p ⇒ ¬ q ) ] ∧ [ p∧ ( q ∨ p ) ] ≡ F
26. [ ( q ⇒ ¬ p ) ⇒ ¬ ( q ⇒ p ) ] ∨ [ ( p ⇒¬ p ) ∧ ( p ⇒ p ) ] ≡ p⇒ q
27. {( p ⇒ q ) ∧ [ p ∨ ( q ∧ p ) ] } ⇒q ≡ V
28. [ s ⇒ ( r ∧¬ s ) ] ∧¬ r ≡ ¬r ∧¬ s
29.¬ {[ ( p ⇒ q ) ∧ p ] ⇒q }≡ F
31. [ ( ¬ p ⇒ q ) ∧ ¬ p ] ∧¬q ≡ F
32. [ p ∨ ( p∧ q ) ] ∧ [ q ∨ ( q ∧ p ) ] ≡ p ∧q
33. [ p ∧ ( q ∨ p ) ] ∧ [ ( ¬ r ∧ s ) ∨¬ r ] ≡ p ∧¬r
34.¬ {[ p ∨ ( q ∧ p ) ] ∧ [ ( ¬r ∨ s ) ∧¬ r ] } ≡¬ p ∨r