internal override bool Is_DNF_Helper(bool seenNegation, bool seenDisjunction, bool seenConjunction)
{
if (seenNegation)
{
return(false);
}
return(InnerExpression.Is_DNF_Helper(true, seenDisjunction, seenConjunction));
}