symbolic-logic

Here are 2 public repositories matching this topic...

Original Java-based logical tree engines (2002–2004) for visualizing propositional and first-order logic, recursion, and formal reasoning.

Takes a logical expression (for example, "(A & B) | ~C") and produces a truth table.

Add a description, image, and links to the symbolic-logic topic page so that developers can more easily learn about it.

To associate your repository with the symbolic-logic topic, visit your repo's landing page and select "manage topics."