demorgans first theorem