Adding demorgans laws