Question

What is the converse of ​r->(~q v p)

Answer 1

`r => (\\eg q \ \lor p) \ \equiv \ q \ \land \ \\eg p => \\eg r`

Explanation:

In general, remember that the converse of
`a => b` is
`\\eg b => \\eg a` , therefore in this case
`a = r \ \ , b = \\eg q \ \lor p`

so
`r => (\\eg q \ \lor p) \ \equiv \ q \ \land \ \\eg p => \\eg r`