Demorgans theorem 2