Transformer of propositional logic expressions to CNF and DNF
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.