Answer to Question #177190 in Discrete Mathematics for bhavana

Question

cnf of q^(-q->(p^(-p->r)))

Answer 1

Given expression is-

$q \land (~q =>(p \land (~p=>r)))$

Whenever we have to write the cnf of the given expression, There is a simple change like the $'\land'$ is replaced by $'\lor'$ and $'\land'$ is replaced by $'\lor'.$

So

CNF is q $\lor$ (~q=>(p $\lor$ (~p=>r)))