Instructions:

Try to draw the Implication Graph that represents the implications inside the text boxes below.
Remember: You will need to produce the contrapositions of the implications below and draw the graph which references all of the literals.

Controls:
• Each literal is 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:
• Calculate contrapositions.
• Link all of the implications.
• Draw the graph that represents the implications below.