Graph Theory37 sections · 1633 units
Open in Course

Quiz: Implication Graph Construction

Knowledge check

Check Your Understanding

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

  1. A.x1⇒x2x_1 \Rightarrow x_2 and x2⇒x1x_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.¬x1⇒x2\neg x_1 \Rightarrow x_2 and ¬x2⇒x1\neg x_2 \Rightarrow x_1
Start the roadmap to answer the quizzes and solve the challenges