Kärnidé
I datatillräcklighet testar man om (1) eller (2) ensamt ger ett entydigt svar. Om flera olika uppställningar fortfarande är möjliga räcker inte informationen. Här är grundfakta att bofinken inte sitter längst till höger.
Lösning
Pröva (1) ensam:
- •
(1) säger att talgoxen sitter direkt till vänster om bofinken. Alltså måste paret (talgoxe, bofink) ligga bredvid varandra i den ordningen.
- •
Möjliga placeringar för detta par är plats 1–2, 2–3 eller 3–4. Men 3–4 går bort eftersom bofinken då hamnar längst till höger (förbjudet).
- •
Om paret ligger på plats 1–2, så måste domherre och gråsparv ta plats 3–4. Då sitter de bredvid varandra, men (1) säger att gråsparven inte sitter bredvid domherren. Alltså är plats 1–2 omöjlig.
- •
Alltså måste paret ligga på plats 2–3. Då återstår plats 1 och 4 för domherre och gråsparv, och båda alternativen fungerar:
- •
Domherre, talgoxe, bofink, gråsparv
- •
Gråsparv, talgoxe, bofink, domherre
- •
Längst till vänster kan alltså vara domherre eller gråsparv. (1) räcker inte ensam.
Pröva (2) ensam:
- •
(2) säger: talgoxen sitter inte bredvid gråsparven, och domherren sitter inte bredvid bofinken.
- •
Det finns flera uppställningar som uppfyller detta och där olika fåglar hamnar längst till vänster, till exempel:
- •
Bofink, talgoxe, domherre, gråsparv (bofink längst till vänster)
- •
Talgoxe, bofink, gråsparv, domherre (talgoxe längst till vänster)
- •
Alltså räcker inte (2) ensam.
Pröva (1) + (2) tillsammans:
- •
Från (1) tvingas talgoxe–bofink ligga på plats 2–3 (som visats ovan).
- •
Då sitter bofinken på plats 3. Enligt (2) får domherren inte sitta bredvid bofinken, alltså får domherren inte sitta på plats 2 eller 4.
- •
Plats 2 är redan talgoxe, så domherren kan inte vara där ändå. Domherren kan alltså inte vara på plats 4, och måste därför vara på plats 1.
- •
Då återstår gråsparven på plats 4. Alla villkor är uppfyllda, och placeringen är entydig.
- •
Alltså sitter domherren längst till vänster.
Svar
C
