Incorrect printing of canonical disjunctive normal forms #10
Description
When printing CDNFs, variables are displayed as negated when they are not, and displayed as non-negated when they are.
{{ message }}
When printing CDNFs, variables are displayed as negated when they are not, and displayed as non-negated when they are.