Releases: 4g3nt81lly/logic-util
Releases · 4g3nt81lly/logic-util
v0.1.0-alpha (build 1)
🩺 This is a prototype release for testing purposes.
Features:
- Making truth table for a given propositional logic statement.
- Logical equivalency test for multiple propositional logic statements.
- Validity test for logical arguments.
- Interactive mode for:
make-table
,check-equivalence
, andcheck-validity
. - Exporting to
.csv
file. - And more subordinate features...
Updates and bug fixes:
- Please see this commit for details.