Instructions:

Draw and cut the tree which represents the implications given below.
Remember: If you are unsure about the full controls, go back and practice with the tutorials.

Controls in draw mode:
• 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.
...read more

• 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.
Controls in cut mode:
• 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 the implication graph with nodes and links.
• Cut the graph produced, showing you the number of valid evaluations.