Re: [xacml-comment] Public Comment

[Polar Humenn <polar@syr.edu>]

On Wed, 10 Nov 2004 comment-form@oasis-open.org wrote:

> Comment from: markus.franke@siemens.com
>
> The description of the AND-function in chapter A.3.5 is wrong. It
> states: "This function SHALL return 'True' if it has no arguments ...".

That is the correct description of the AND function. If you think of AND
as an iterative process through the arguments, AND is TRUE *until* an
argument is False. Therefore, an AND application without arguments is
vacuously True.

> I think that's a copy & paste failure, the description of the
> OR-function is very similar, but with 'True' and 'False' swapped.

The same goes for OR. If you think of it as an iterative process through
the arguments, OR is False until it encounters an argument that is True.
Therefore, an OR application without arguments is vacuously False.

Cheers,
-Polar

> Regards,
> Markus
>