Back

Exercise II
This is an exercise to help you practice and learn.

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.

    Objective:
  • Draw the implication graph with nodes and links.
  • Cut the graph produced, showing you the number of valid evaluations.


Implication List:






Feedback:

Press anywhere on the canvas to begin a cut. Press SPACE to verify the cut.


Previous Exercise Next Exercise