I am trying to prove that AvB (which reads "A or B") is equivalent to Av~~B (which reads "A or not not B"). My steps are wrong... I checked them out on Fitch (the program we use in class to check validity of proofs). I can't write them out in here... I don't have the right symbols ... so maybe somebody can suggest a starting step that will help???