Re: [basex-talk] documentation flaw

Hi Rob, you are right. I have replaced "or" with "and". Thanks for the hint. – Best, Christian On Sat, Aug 22, 2020 at 12:57 PM RobStapper wrote: > Hi, > > > > I have my doubts about the expressions used at the “tertium non > datur”-principle in the documentation [1]. > > Or the expression

[basex-talk] documentation flaw

Hi, I have my doubts about the expressions used at the “tertium non datur”-principle in the documentation [1]. Or the expression should be “$a or not($a)” or the rewritten expression should be “false()” . [1]: https://docs.basex.org/wiki/XQuery_Optimizations#Pure_Logic Best regards, Rob