620 views

1 Answer

Best answer
3 votes
3 votes

$(P\Rightarrow Q)\Rightarrow R =(P{}'+Q) \Rightarrow R= ((P{}'+Q) {}' + R)=PQ{}'+R$

Now check the option

a)$P\Rightarrow (Q\Rightarrow R)=P{}'+(Q\Rightarrow R)=P{}'+Q{}'+R\neq LHS$

b) $\Rightarrow$ is right associate (source https://en.wikipedia.org/wiki/Currying#Logic ) so it simplifies to option a)  that is $P\Rightarrow (Q\Rightarrow R)$ which is too incorrect. 
c)$P\Rightarrow Q V R=P{}'+(Q V R)=P{}'+Q+R \neq LHS$

so answer wil be D) 

selected by

No related questions found