Fill This Form To Receive Instant Help
Fill This Form To Receive Instant Help
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. 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.
Already member? Sign In
