Solution to cnf of q^(-q->(p^(-p->r))) - Sikademy
Author Image

Archangel Macsika

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

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

Get the Answers Now!

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

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 \lor (~q=>(p \lor (~p=>r)))

Related Answers

Was this answer helpful?

Join our Community to stay in the know

Get updates for similar and other helpful Answers

Question ID: mtid-5-stid-8-sqid-3234-qpid-1933