a. Oh, adoro queste griglie logiche! Direi che il vincolo cardine è che ogni farfalla abbia 3 elementi di diversa origine. Partirei con una griglia dove appuntare gli elementi certi e alcune ipotesi! Così dovrebbe essere sufficiente:

b. Gli elementi forniti dalle istruzioni potrebbero essere rappresentati così (uso le iniziali per ogni tipo di farfalla C D I M P, metto un “-” davanti alla lettera se non può essere in quella posizione):

Da qui posso proseguire: per esempio, le antenne della Didima non possono essere nella colonna 2 né nella 4, 1 e 3 sono già compilate, quindi le ipotizzo nella 5. Rimangono da piazzare le antenne I e P, ma P non può stare con P in colonna 4, quindi andrà in colonna 2, mentre nella 4 per esclusione avrò la I. Per le ali, mi restano 2 farfalle da piazzare e al momento non posso escluderle, ma proseguirei da qui. Anche per i corpi, meglio appuntare quali opzioni rimangono disponibili per ogni combinazione.

c.  Una volta scritte tutte le ipotesi, in realtà per esclusione riesco a eliminare tutti i dubbi! Mi è bastato partire dalla colonna 3, dove l’unico corpo possibile era M, dovendo escludere C e I (già presenti in quella combinazione) ed escludendo P presente in colonna 4. Dovrei aver compilato tutta la griglia correttamente. Torna anche a te?