public override BooleanExpression Simplify() { var newInnerExpression = InnerExpression.Simplify(); if (newInnerExpression.Equals(FALSE)) { return(TRUE); } if (newInnerExpression.Equals(TRUE)) { return(FALSE); } return(new Negation(InnerExpression.Simplify())); }