GitHub repository: KristofferK/ConjunctiveNormalForm
Primary language: TypeScript
Created: 2018-02-20T12:10:04Z
Description: Determines which boolean-values must be given to a formula to make it pass.