Álgebra Proposicional
[¬(p v q) v q] ^ [ ¬(p v q) v p]
[(¬p ^ ¬q) v q] ^ [(¬p ^ ¬q) v p]
[(¬p v q) ^ (¬q v q)] ^ [(¬p v p) ^ (¬q v p)]
[(¬p v q) 1] ^ [1 ^ (¬q v p) ]
[(¬p ^ 1) v (q ^ 1)] ^ [(1 ^ ¬q) v (1 v p)]
(¬p v q) ^ (¬q v p)
(p ⇒ q) ^ (q ⇒ p)
(p ⇒ p)
¬p v p
1
No hay comentarios:
Publicar un comentario