Un metodo más fácil que puedes utilizar es el contradicción ,
el cual consiste en suponer un falso y desarrollar
Con la tabla me evito de hacer todas las combinaciones,
en este caso supuse p = 0
en la primera parte de la implicación obtengo un falso, y la segunda parte también,
concluyo una tautología