Work done for Logic for Computing discipline. The proposed exercise is to fix the content of propositional logic and satisfiability.