Question

Porfa ayuda
(P^q->r)->(p->~qvr)

Answer 1

$\alpha\equiv [(p\wedge q)\to r]\to[p\to(\neg q \vee r)]\\ \\ \alpha\equiv [(p\wedge q)\to r]\to[\neg p\vee(\neg q \vee r)]\\ \\ \alpha\equiv [(p\wedge q)\to r]\to[(\neg p\vee\neg q) \vee r]\\ \\ \alpha\equiv [(p\wedge q)\to r]\to[\neg( p\wedge q) \vee r]\\ \\ \alpha\equiv [(p\wedge q)\to r]\to[( p\wedge q) \to r]\\ \\ \alpha\equiv \textbf{TAUTOLOG\'IA}$