Lab 1: de Morgan exercises.

I suspect the explanations require more logical sophistication than I
possess.