Fix default implementations according to De Morgan's laws

Duplicate of issue #8 (sorry, can't find how to attach a pull request to an existing client without installing a bunch of extra tools).