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 Stapper

Sent from Mail for Windows 10