Software Design/Avoid double negation in boolean expressions

Checklist questions:
 * Aren't there boolean variables with negativity embedded in them (such as ) that also appear in boolean expressions in the negated form, i. e.  ?