Need help for turn this form $\neg ((p \Rightarrow q) \Rightarrow r)$ into DNF

91 Views Asked by At

How can I turn this form

  1. $\neg( ( p \Rightarrow q ) \Rightarrow r )$

to disjunctive normal form and to the disjunctive normal form fully developed ?

I have done the truth table see below

truth table

I arrived to this form : $(\neg p \vee q) \wedge r$ but I am not sure if it is correct and if I had developed enough

Thanks for your help !

1

There are 1 best solutions below

0
On

I arrived to this form : $(\neg p \vee q) \wedge r$ but I am not sure if it is correct and if I had developed enough

This is not correct. Hint: $\sf~\neg(A\to B) \equiv A\wedge\neg B~$ by implication negation.