Problem 1. (20 points) Oh no! There is a secret cabal of CS 135 CAs who are planning to go behind Sandeep's back and make the course all about programming labs. Here are the facts: There are twelve CAs: Pablo, John, Toby, Sunmin, Kurt, Leah, Kishan, Sarvani, Jared, Robert, Mat, and Owen. A membership roster has been found and appears below, but it has been deviously encrypted in logic notation. The predicate member indicates membership in the cabal; member(x) is True if and only if x is in the cabal. Help stop this Scheme scheme by translating the following statements into English and deduce who is in the cabal, explaining every step in the process. 1. Ja 3b 3c 3d (a b 1a Ec 1 a #db #cab #d Ac# d A member(a) 1 member(b) A member(c) A member(d) 2. (2x: member(x)) member(Jared) 3. (member(Owen) 1 member(Jared)) Vx: member(x) 4. 7(member(Toby) A member(Sunmin)) 5. member(Jared) member(John) 1 member(Kishan) 6. member(Sunmin) member(Toby) 7. (member(Toby) v member(Mat)) member(Kishan) 8. member(Mat) member(Kishan) 9. (member(Kurt) v member(Pablo)) 10. member(Leah) member(Rob) 1-member(Sarvani) Problem 1. (20 points) Oh no! There is a secret cabal of CS 135 CAs who are planning to go behind Sandeep's back and make the course all about programming labs. Here are the facts: There are twelve CAs: Pablo, John, Toby, Sunmin, Kurt, Leah, Kishan, Sarvani, Jared, Robert, Mat, and Owen. A membership roster has been found and appears below, but it has been deviously encrypted in logic notation. The predicate member indicates membership in the cabal; member(x) is True if and only if x is in the cabal. Help stop this Scheme scheme by translating the following statements into English and deduce who is in the cabal, explaining every step in the process. 1. Ja 3b 3c 3d (a b 1a Ec 1 a #db #cab #d Ac# d A member(a) 1 member(b) A member(c) A member(d) 2. (2x: member(x)) member(Jared) 3. (member(Owen) 1 member(Jared)) Vx: member(x) 4. 7(member(Toby) A member(Sunmin)) 5. member(Jared) member(John) 1 member(Kishan) 6. member(Sunmin) member(Toby) 7. (member(Toby) v member(Mat)) member(Kishan) 8. member(Mat) member(Kishan) 9. (member(Kurt) v member(Pablo)) 10. member(Leah) member(Rob) 1-member(Sarvani)