¿Qué tiene de malo esta respuesta?

Question

Escriba la declaración como una declaración equivalente que no utilice la conectiva if..then. Recuerde que $p\implies q \equiv \neg p\land q$ . Si estoy cansado, me voy a la cama.

No estoy cansado y me voy a la cama.

Answer 1

Utilizando la equivalencia dada, esto es efectivamente correcto.

Sin embargo, la equivalencia dada es incorrecta, por lo que esta respuesta es errónea.

Answer 2

Creo que lo tienes un poco mezclado. En lugar de una conjunción, deberías tener una disyunción.

Debería decir: No estoy cansado o me voy a la cama.