Instructions:

Try to draw the Implication Graph that represents the contraposition of the implication inside the text boxes below.
Remember: implications are converted to their contrapositive by negating both literals and swapping their position, eg A->B goes to ¬B->¬A

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 contrapositive of the implication below.