Skip to content

Releases: 4g3nt81lly/logic-util

v0.1.0-alpha (build 1)

28 Apr 05:45
Compare
Choose a tag to compare
Pre-release

🩺 This is a prototype release for testing purposes.

Features:

  1. Making truth table for a given propositional logic statement.
  2. Logical equivalency test for multiple propositional logic statements.
  3. Validity test for logical arguments.
  4. Interactive mode for: make-table, check-equivalence, and check-validity.
  5. Exporting to .csv file.
  6. And more subordinate features...

Updates and bug fixes: