I would like help with these by proves and not truth table please

Prove the following logic rules from other ones. (The only rule you can't use is the one you are trying to prove). Don't forget to prove both directions of doubleheadarrow rules. a. Double negation: not not P doubleheadarrow P b. Demorgan's Law: not (A V B) doubleheadarrow not A Lambda not B c. Associativity of V: XV(YVZ) doubleheadarrow (XVY)VZ d. Distribution/Factorization: (P Lambda Q)VR doubleheadarrow (PVR) Lambda (Q V R) e. Modus ponens: (A Lambda (A rightarrow B)) rightarrow B f. Commutativity of V: (XVY) doubleheadarrow (YVX) g. Transitivity of rightarrow: ((P rightarrow Q) Lambda (Q rightarrow R) rightarrow (P rightarrow R)