Back

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

Instructions:

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

  • 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
  • Negations ¬ can be represented with !
Implication List:
  • Press ENTER to append new implications
  • Press DEL to delete selected implications

Feedback:

Previous Exercise Next Exercise