Instructions:

Try to draw the Implication Graph that represents the implications inside the text boxes below.
In order to complete this, you will need two nodes corresponding to the same variable as arrows are only allowed in one direction.

Controls:
• 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.
Objective:
• Draw the graph that represents the implications below.