Create Mode: Input Implications
Here you can practice creating any implication graph


Implication List:
  • Press ENTER to append new implications
  • Press DEL to delete selected implications


Feedback:

Enter a conjunction of implications using the text inputs, then press 'Begin Drawing' to draw the tree.