Exercises

Choose from the exercises below to practice with the tool.


Tutorials & Practice:

Entering Literals Part I Attempt
Entering Literals Part II Attempt
Drawing the Implication Graph I Attempt
Drawing the Implication Graph II Attempt
Drawing the Implication Graph III Attempt
Drawing the Implication Graph IV Attempt
Cutting the Implication Graph I Attempt
Cutting the Implication Graph II Attempt
Making Cycles Attempt

Exercises:

Exercise I Attempt
Exercise II Attempt
Exercise III Attempt
Exercise IV Attempt

If you want to create custom problems, then try create mode:

Create Mode