[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: Little clue



At 11:49 PM 2001-09-07, Pierangelo Masarati wrote:
>> 
>> 
>> --On Donnerstag, 6. September 2001 18:58 +0200 Pierangelo Masarati 
>> <masarati@aero.polimi.it> wrote:
>> 
>> > Look at these two filters:
>> >
>> > '(&(description=xxxx)(ntaccount=*)(mail=*)(!(mysoc=*))(!(mymail=*)))'
>> >
>> > '(&(!(|(mymail=*)(mysoc=*)))(description=xxxx)(ntaccount=*)(mail=*))'
>> 
>> In Boolean algebra these seem to be the same:
>> a ^ b ^ c ^ (!d) ^ (!e)
>> <=> a ^ b ^ c ^ ((!d) ^ (!e)) #assiociativ
>> <=> a ^ b ^ c ^ (!(d v e)) #deMorgan
>> <=> (!(d v e)) ^ a ^ b ^ c #kommutativ
>
>I guess this is the right answer (not only because that's what I expected :)
>
>> However, LDAP uses a 3-state logic. Any terms that evaluate to undef?
>
>I expect them to behave the same also in case the 'mysoc' and 'mymail'
>terms are undef, because of the negations (!), right?

Yes, because !undef is undef  and (&(undef)...) is undef