Back

Tutorial 7: Cutting the Implication Graph I
This exercise is for learning how to cut the Implication Graph.

Instructions:

Try to perform all available cuts with the Implication Graph provided below.
Note: any node above the line you draw is considered to be true, while any node below the drawn line is considered to be false.

    Controls:
  • Cuts are performed by pressing anywhere on the canvas below, dragging the mouse and then pressing SPACE.
  • To stop performing a cut, press SPACE.
  • Nodes can be stuck by clicking with the left mouse button/
  • Stuck nodes can only be moved in the x axis.
  • Nodes can be moved by click and drag.
  • You must draw a cut above or below every node.
    • Objective:
  • Draw lines between each of the nodes.


Implication List:
  • Press ENTER to append new implications
  • Press DEL to delete selected implications

Feedback:

Press anywhere on the canvas to begin a cut. Press ENTER to verify the cut.

Additional Controls:

Previous Exercise Next Exercise