GitHub repository: Akash-Sharma-1/DNF-Generator
Primary language: Python
Created: 2020-07-16T12:33:42Z
Description: 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.