Consider the following argument: Lynn works part time or full time. Lynn does not work part time if she does not study at the university. Lynn is busy whenever she works full time. Lynn does not study at the university. Therefore, Lynn is busy. (a) Use the TautologyQ command in MATHEMATICA to verify that the above argument is valid. (b) Verify that the above argument is valid by constructing a truth table using MATHEMATICA. (c) Use the rules of inference to show that the above argument is valid.