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.