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 <r.stapper@lijbrandt.nl> wrote:

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 <https://go.microsoft.com/fwlink/?LinkId=550986> for Windows 10

<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient&utm_term=icon> Virus-free. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=emailclient&utm_term=link> <#m_-2765550508791472733_DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>