AIMA Artificial Intelligence a modern approch

AIMA-exercises is an open-source community of students, instructors and developers. Anyone can add an exercise, suggest answers to existing questions, or simply help us improve the platform. We accept contributions on this github repository.

Exercise 7.17

According to some political pundits, a person who is radical ($R$) is electable ($E$) if he/she is conservative ($C$), but otherwise is not electable.

  1. Which of the following are correct representations of this assertion?

    1. $(R\land E)\iff C$

    2. $R{:\;{\Rightarrow}:\;}(E\iff C)$

    3. $R{:\;{\Rightarrow}:\;}((C{:\;{\Rightarrow}:\;}E) \lor \lnot E)$

  2. Which of the sentences in (a) can be expressed in Horn form?

View Answer