Back

Tutorial 3: Drawing the Implication Graph I
This exercise is for learning how to draw a basic implication graph.

Instructions:

Try to draw the Implication Graph that represents the implications inside the text boxes below.

  • Each literal are represented by a node, nodes are added to the canvas by pressing SHIFT and a mouse click.
  • Implications are represented by links between nodes, links are added by holding SHIFT and dragging between nodes.
  • Links and nodes can be deleted by pressing on them, this highlights them pink and then pressing DEL
  • You can rename nodes by holding SHIFT and clicking on them with the mouse.
  • Nodes can be dragged with the mouse.
  • The canvas can be dragged with the mouse.
  • Canvas supports zooming.
  • Draw the graph which corresponds directly to the implication below, do not use contrapositives.
Implication List:

Feedback:

CONTROLS: Use SHIFT + Left mouse click to create nodes. Press and hold SHIFT when dragging a node to create a link. Nodes can be dragged with the mouse. Press on nodes or links and delete with DEL. Edit node labels by holding SHIFT when clicked.

Previous Exercise Next Exercise