Back

Tutorial 1: Entering Implications
This exercise is for learning how to enter a conjunction of implications into the tool.

Instructions:

Just simply enter this logical formula into the text boxes below: (A->B)∧(B->C)

  • The ∧ symbol can be denoted by appending another input box
  • Append new text boxes with ENTER
  • Do not include any parenthesis ()
  • Only type one literal on each side of the ->
  • Delete unwanted text boxes with DEL
Implication List:
  • Press ENTER to append new implications
  • Press DEL to delete selected implications

Feedback:

Next Exercise