Reasoning Algorithms in Propositional Logic Examination will be a take-home exam; confirmation coming as soon as signed course evaluation is received in registrar’s office…