Scheduling classes in two periods expressed using SAT, info About Consider a school with four classes and two periods during which the courses can be scheduled. The classes are named A, B, C, and D. Each course must be scheduled in exactly one of the two periods, and the following pairs of courses can not be scheduled at the same time: (B, C), (A, D), (C, D), (B, A)
(a) Express the scheduling problem as a Boolean expression. That is, give a Boolean expression that is true if and only if there is a feasible schedule for the courses that satisfies all the constraints.
(b) Use De Morgan's law to convert the Boolean expression to an equivalent expression in CNF form.
(c) Is the Boolean expression satisfiable?