Instructions:

Try to perform all available cuts with the Implication Graph provided below.
Note: Stick and move nodes to make it easier to cut the graph.
Remember: Nodes cannot be on the same side of the line as their negation.

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.
• Avoid placing conflicting literals on the same side of any given line.