- #1
member 587159
Thread moved from the technical forums, so no HH Template is shown.
I'm preparing for college on my own. I need to proof that:
[p -> (q v r)] and [(p ^ -q) -> r] are logically equivalent.
with
1) v "or"
2) ^ "and"
3) -q "negation of q"
I did this using truth tables and this perfectly shows that those 2 statements are logically equivalent. Can someone confirm that this is the way of proving this? Is there an easier way? Keep in mind that I learned this matter myself so I will most likely not understand difficult answers :)
Thanks in advance.
[p -> (q v r)] and [(p ^ -q) -> r] are logically equivalent.
with
1) v "or"
2) ^ "and"
3) -q "negation of q"
I did this using truth tables and this perfectly shows that those 2 statements are logically equivalent. Can someone confirm that this is the way of proving this? Is there an easier way? Keep in mind that I learned this matter myself so I will most likely not understand difficult answers :)
Thanks in advance.