Homework answers / question archive / Suppose there are three chairs in a row, labeled L(eft), Middle), R(ight) and three persons A, B, and C

Suppose there are three chairs in a row, labeled L(eft), Middle), R(ight) and three persons A, B, and C

Computer Science

Share With

Suppose there are three chairs in a row, labeled L(eft), Middle), R(ight) and three persons A, B, and C. Everyone has to sit down but, unfortunately,

• A doesn't want to sit next to B

• A doesn't want to sit in the left chair

• C doesn't want to sit to the right of B

We will formulate these constraints in propositional logic using only variable Xp,c to mean that person p sits in chair c. Please express the constraints in CNF.

(i) A doesn't want to sit next to B.

(ii) A doesn't want to sit in the left chair.

(iii) C doesn't want to sit to the right of B.

(iv) Are there other constraints? If yes, express them in propositional logic.