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()));
}