An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with normal-form

A curated list of projects in awesome lists tagged with normal-form .

https://github.com/akash-sharma-1/dnf-generator

A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.

dnf first-order-logic mathematical-logic normal-form propositional-logic

Last synced: 13 Jul 2025