Formalise the following argument in Boolean logic, and decide whether it is correct or not. Explain your answer. If Jones did not meet Smith last night then either Smith was the murderer or Jones is lying. If Smith was not the murderer then Jones did not meet Smith last night and the murder took place after midnight. If the murder took place after midnight then either Smith was the murderer or Jones is lying. Therefore, Smith was the murderer