Kärnidé
Varje person har exakt ett unikt husdjur. Vi testar om (1) eller (2) ensamt ger en entydig fördelning, och om de tillsammans låser fast vem som kan ha kaninen.
Lösning
(1) ensamt:
- •
Vi får att Dylan har ett marsvin.
- •
Kaninen är Bellas eller Connys.
- •
Då återstår hamster och undulat till Astrid och den av Bella/Conny som inte får kaninen.
- •
Det blir inte entydigt. Exempel på två lösningar som båda passar (1):
a) Dylan marsvin, Bella kanin, Conny undulat, Astrid hamster.
b) Dylan marsvin, Bella kanin, Conny hamster, Astrid undulat.
Alltså räcker (1) inte ensam.
(2) ensamt:
- •
Vi får att Conny har en undulat.
- •
Kaninen är Bellas eller Dylans.
- •
Då återstår hamster och marsvin till Astrid och den av Bella/Dylan som inte har kaninen.
- •
Det blir inte entydigt. Exempel på två lösningar som båda passar (2):
a) Conny undulat, Bella kanin, Dylan hamster, Astrid marsvin.
b) Conny undulat, Bella kanin, Dylan marsvin, Astrid hamster.
Alltså räcker (2) inte ensam.
(1) och (2) tillsammans:
- •
Från (1): Dylan har marsvin.
- •
Från (2): Conny har undulat.
- •
Från (1): kaninen är Bellas eller Connys. Men Conny har redan undulat, så Conny kan inte ha kaninen.
- •
Alltså måste Bella ha kaninen.
- •
Då är de tre djuren marsvin (Dylan), undulat (Conny) och kanin (Bella) redan upptagna, så Astrid måste ha hamstern.
- •
Nu är allt entydigt bestämt.
Svar
C