See the article on don't care variables.