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

 

Virus-free. www.avast.com