Research Extensions #6
Description
Possible ideas:
- Adding full propositional logic to the parser and truth-table algorithms
- Adding a full propositional logic resolution algorithm
- Adding parallelism to truth-table generation to show it working faster
{{ message }}