2 votes 2 votes P->(Q->P) IS EQUIVALENT TO ~P->(P->Q) WITHOUT USING TRUTH TABLE Jayanthan KS asked Aug 7, 2017 Jayanthan KS 1.0k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
1 votes 1 votes LHS:- P->(Q->P) =P'+(Q->P) =P'+Q'+P =1(P+P'=1) RHS :- ~P->(P->Q) =P+(P->Q) =P+P'+Q =1 LHS=RHS,Hence verified Remember P -> Q= P'+Q rahul sharma 5 answered Aug 7, 2017 rahul sharma 5 comment Share Follow See all 0 reply Please log in or register to add a comment.
1 votes 1 votes P->Q is equivalent to ~P V Q LHS P->(Q->P) P->(~Q V P) ~P V ~Q V P 1 LHS ~P->(P->Q) ~P->(~P V Q) P V ~P V Q 1 LHS=RHS rdfan19 answered Aug 7, 2017 rdfan19 comment Share Follow See all 0 reply Please log in or register to add a comment.