Hola Rodrigo, cómo estás?
La afirmación d) es falsa porque dos casos de prueba que cubren las mismas líneas de código NO SON iguales desde el punto de vista del Testing. Son iguales si tienen los mismos valores de entrada, mismo estado/contexto del sistema, mismo resultado esperado, entre otras cosas. Podrías perfectamente tener 2 casos de prueba que cubran las mismas líneas de código con resultados esperados diferentes.
Sobre las combinaciones por pares que son suficientes, te dejo una tabla de ejemplo, que saqué usando la herramienta online https://pairwise.yuuniworks.com/:
SO Idioma Pantalla
Win Ingles Pequenia
Win Arabe Grande
Win Esp Grande
Linux Esp Pequenia
Linux Arabe Grande
Mac Ingles Grande
Linux Ingles Grande
Mac Arabe Pequenia
Mac Esp Pequenia
Saludos,
Cecilia.