Ejercicio 1, pag 12 Libro: Matemica progresiva Vol:3 Autor:Nelson Londoño
Demostrar que P∨∼P es tautologia:
SOLUCION: