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

Re: Little clue



--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

However, LDAP uses a 3-state logic. Any terms that evaluate to undef?

--
Norbert Klasen
DAASI International GmbH                 phone: +49 7071 29 70336
Wilhelmstr. 106                          fax:   +49 7071 29 5114
72074 Tübingen                           email: norbert.klasen@daasi.de
Germany                                  web:   http://www.daasi.de