By in large, this list of equivalences is asking you to reinvent the wheel.
It is my impression that you have access to a reasonable Library.
You need to get yourself a good basic symbolic logic textbook.
I like the books by I.M.Copi. There are others: look for Michael Resnik or Benson Mates.
Your problem #1 is simply known as Addition in the rules of inference.