apply de Morgan's laws

apply de Morgan's laws