demorgans second theorem