Graph Theory37 sections · 1633 units
Open in Course

Quiz: Implication Graph Construction

Knowledge check

Check Your Understanding

You have the clause (x1x2)(x_1 \lor x_2). Which implications does this produce in the implication graph?

  1. A.x1x2x_1 \Rightarrow x_2 and x2x1x_2 \Rightarrow x_1
  2. B.x1¬x2x_1 \Rightarrow \neg x_2 and x2¬x1x_2 \Rightarrow \neg x_1
  3. C.¬x1¬x2\neg x_1 \Rightarrow \neg x_2 and ¬x2¬x1\neg x_2 \Rightarrow \neg x_1
  4. D.¬x1x2\neg x_1 \Rightarrow x_2 and ¬x2x1\neg x_2 \Rightarrow x_1
Start the roadmap to answer the quizzes and solve the challenges