Questão 196408

\([(p\vee q)\to r]\leftrightarrow[p\to(\sim q\wedge\sim r)]\)

\([p\wedge(q\to r)]\to(p\vee\sim r)\)

\((p\to q)\to\ \sim(q\to r)\)

\([(p\ \wedge\ q)\to\sim r]\to(p\ \wedge\ q\ \wedge\sim r)\)

\((p\ \wedge\ q\to r)\ \leftrightarrow\ (p\ \wedge\ q\ \wedge\ \sim r)\)