There's an error in the article.

    ((true AND false) OR true) AND NOT (true OR false)

is false, not true as asserted in the article.