1,036 views
2 votes
2 votes
P->(Q->P) IS EQUIVALENT TO ~P->(P->Q) WITHOUT USING TRUTH TABLE

2 Answers

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
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

Related questions

2 votes
2 votes
1 answer
1
Jayanthan KS asked Aug 9, 2017
819 views
1 votes
1 votes
2 answers
3
Tesla! asked Apr 2, 2017
695 views
Write the set$\left \{ \phi ,\left \{ \phi \right \} \right \}-\phi$
0 votes
0 votes
0 answers
4
Tesla! asked Apr 2, 2017
779 views
Write the set$\phi \cap \left \{ \phi \right \}$