Dallman Ross posted,
| What you are forgetting in your algorithm is the logic
| rule that says [ not-A AND not-B ] is equivalent to [ A OR B ].
You're missing a "not" there, Dallman. The DeMorgan rules are that
[ not-A and not-B ] = NOT [ A or B ]
and that
[ not-A or not-B ] = NOT [ A and B ]
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail