Question

Elabora la tabla de verdad de los siguientes razonamientos
---|(p->q)V(---|p^q)

(P->q^--|q) -> --|p

Answer 1

De acuerdo, en tu enunciado colocamos dos proposiciones: 

P1: ${\displaystyle \neg ({\displaystyle P\to Q\,} )\,}{\displaystyle \lor \,}({\displaystyle {\displaystyle \neg}P\land Q\,})$

P2: $(({P\to Q\,})\land \neg Q)\to\neg P$


Tablas de verdad de P1: 
$PQ|\\ 1 1\\ 10\\ 01\\ 00\\ \neg ( P\to Q)|\\ 0\\ 1\\ 0\\ 0\\ (\neg}P\land Q)|\\ 0\\ 0\\ 1\\ 1\\ P1 | \\ 0\\ 1\\ 1\\ 1$

Tablas de verdad de P2:
$PQ\\ 11\\ 10\\ 01\\ 00\\ P\to Q|\\ 1\\0\\1\\1\\ P\to Q \land \neg Q| \\ 0\\0\\0\\1\\ P2|\\ 1\\1\\1\\1$

Para simplificar no te coloco las negaciones de las preposiciones simples, espero se entienda, está ordenado por filas, no pude agrupar todo en una sola línea para que se viera mejor.