let p q r be three mathematical statments the statment [~p-q]-r is eqvivalent to
Hello,
As per the given problem [~P -> Q] -> R
There are two methods, either by a truth table or using simplification method;
1. Simplification:
(~P -> Q) -> R
= (~(~P) V Q) -> R
= (P V Q) -> R
= ~(P V Q) V R
2. TRUTH TABLE:
This method is not suitable when you are trying to simplify the statement but goes well when you need to prove equivalence.
|
P |
Q |
R |
~ P -> Q |
(~P->Q)-> R |
~ (P V Q) V R
1
1
1
1
1
1
1
1
0
1
0
0
1
0
1
1
1
1
1
0
0
1
0
0
0
1
1
1
1
1
0
1
0
1
0
0
0
0
1
0
1
1
0
0
0
0
1
1



.jpg)
