Known Conditional Tranformation Rules Modus ponens Modus tollens Conjunction Disjunction Simplification Addition Repetition Disjunctive syllogism Hypothetical syllogism Constructive dilemma Destructive dilemma Known Biconditional Transformation Rules Double negation Implication Contraposition Exportation Distribution De Morgan's Laws Commutation Association Tautology Equivalence Hypothetical Transformation Rules Conditional proof Indirect proof