In: Computer Science
) Given the true statements as below, answer the following questions: (a) If Joe is not a French major and he is not happy, then he doesn’t like to travel. (b) The statement “If Joe knows Discrete Math or he is a CS major, then he is either happy or a CS major.” is false . (c) If Joe is a Math major, then he does not know Discrete Math. (d) If Joe is not a CS major, then he likes to Travel. Define C: Joe is a CS major, D: Joe knows Discrete Math, F: Joe is a French major, H: Joe is Happy, M: Joe is a Math major, and T: Joe likes to Travel. (1) Put the above statements into logic form. (2) What is Joe’s major? Is he a double major student? Show all work