. Student A enrols in the AI major, and Student B does not enrol in the AI major, and either Student C enrols to the CS major, or Student B does not enrol in the CS major. 2. If Student B enrols in the AI major, then Student C enrols in either the AI major or the CS major. 3. If Student B enrol in the AI major, it is necessary that Student A enrol in the CS major, and Student C enrol in the AI major. 4. If Student A enrols in the AI major, then Student C enrols in either the AI or CS major, and either Student B does not enrol in the CS major, or Student A enrols in the AI major. A: Student A enrols in the AI major. B: Student A enrols in the CS major. C: Student B enrols in the AI major. D: Student B enrols in the CS major. E: Student C enrols in the AI
Question 1: Encode the following statements in propositional logic.
1. Student A enrols in the
2. If Student B enrols in the AI major, then Student C enrols in either the AI major or the CS major.
3. If Student B enrol in the AI major, it is necessary that Student A enrol in the CS major, and Student C enrol in the AI major.
4. If Student A enrols in the AI major, then Student C enrols in either the AI or CS major, and either Student B does not enrol in the CS major, or Student A enrols in the AI major.
A: Student A enrols in the AI major. B: Student A enrols in the CS major. C: Student B enrols in the AI major. D: Student B enrols in the CS major.
E: Student C enrols in the AI major. F: Student C enrols in the CS
Step by step
Solved in 5 steps with 5 images