DeMorgan's theorems