How to solve Natural Deduction Proofs in Propositional Logic? For Example: Rules such as Modus Ponens, Modus Tollens, De Morgan's Law