UTNianos

Buenas, es una consulta bastante pava, pero la verdad no sé qué estoy haciendo mal.

En un libro da como ejemplo de tautología la primer tabla.
[attachment=8935]
Pero cuando intento hacerlo no me sale (segunda tabla), en qué tontería me estoy equivocando?

Te falta la negación de p^q = ~(p^q) (Osea la Última Columna)
Y Después recién aplicas el operador OR v

ya lo nego, solo que se olvido negar tambien el operador ^ , negado seria una v

Ahh ahí va, no sabía que también se negaba el "y".
Qué hay de este? :C

[attachment=8937]

Respeto a ese, tu resolución es la correcta.
Seguramente hay un error de tipeo en la tabla primera.

esta bien