Instructions

• Type your formula in the box above
• If the box is green, your formula is valid. If it's red, there's a syntax error
• Atoms are any single character from A to Z (uppercase only)
• Operators are:
  • ~   (negation)
  • ^   (and)
  • v   (or)
  • ->  (implication)
  • <-> (equivalence)