GitHub repository: sadeslandes/BooleanRewrite
Primary language: C#
Created: 2018-03-17T18:31:59Z
Description: Tool for converting propositional logic functions to CDNF, showing each step with justification.