de Morgan's Laws for Complementation