de Morgan's laws