Turn a predicate list from (and (not …)+) into (not (or …+))

The ghost of George Boole demanded this change and I had to comply.
Merge pull request #2 from tarleb/master

Turn a predicate list from (and (not …)+) into (not (or …+))