示例#1
0
        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()));
        }