GitHub repository: phadej/boolean-normal-forms
Primary language: Haskell
Description: Boolean normal forms: NNF, DNF & CNF