logic-parser

Here are 2 public repositories matching this topic...

neeraj-395 / qmac

An implementation of the Quine-McCluskey-Algorithm for Boolean function minimization, written in C.

boolean-expression logic-minimization c-programming quine-mccluskey-algorithm tabular-methods logic-parser quine-mccluskey-method

Updated Jun 9, 2025
C

shadowbourne / first-order-logic-parser

Star

2nd Year: 1st - 97. A full parser for first order logic, producing a parse tree (png) and a grammar containing all production rules and symbols, along with a log file.

parser first-order-logic parse-tree-annotation parse-tree logic-parser

Updated Oct 8, 2021
Python

Improve this page

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

Curate this topic

Add this topic to your repo

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

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly