Logic 100

If you're taking intro logic to avoid taking a math course, this is the app for you.

- Check the syntax of symbolic sentences.
- Generate truth tables.
- Test for consistency and validity.
- Choose a symbolic notation to match any textbook.