Right now, this aims to be a command-line tool that converts propositional logic formulas to negated normal form. It may have more capabilities in the future.
cat-j/formula-manipulator
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|