Finding minimum solutions for functions with don’t cares does not
significantly change the methods we developed in the last section. We
need to modify slightly the definitions of an implicant and a prime
implicant, and clarify the definition of an essential prime implicant