Elk weekend verkoopt boer Michel zijn verse groenten en fruit op de lokale markt. Dit weekend heeft hij een grote hoeveelheid appels om te verkopen. Hij wil ze in voorverpakte zakken aan de marktgangers aanbieden. Hij weegt daarom zes verschillende zakken af, van 1 kg tot en met 6 kg. Daarna etiketteert Michel de individuele zakken, zodat elke zak het exacte aantal kilo's bevat als op het etiket wordt vermeld. De zak met het etiket "1 kg" bevat precies één kilo appels. De zak met het etiket "2 kg" bevat twee kilo's en zo verder.
Boer Michel vertrekt met zijn zes voorverpakte zakken naar de markt. Daar aangekomen, begint hij echter te twijfelen of hij de zakken wel correct geëtiketteerd heeft. Hoewel hij slechts over een eenvoudige weegschaal beschikt, wil hij snel het gewicht van de zakken verifiëren.
Hoe dikwijls moet Michel de zakken wegen om te ontdekken of hij de zakken correct geëtiketteerd heeft of indien hij een fout gemaakt heeft?
Boer Michel moet de appels slechts twee keer wegen om te ontdekken of de zakken correct geëtiketteerd zijn.
1. De eerste weging
Aan de ene kant van de weegschaal plaatst men de zak met het etiket "6 kg" en aan de andere kant de drie zakken met de informatie "1 kg", "2 kg" en "3 kg".
Nu zijn er twee mogelijkheden:
2. De tweede weging
Bij de tweede weging plaatst men de twee zakken met de etiketten "6 kg" en "1 kg" aan de linkerkant van de weegschaal en de twee zakken met de informatie "5 kg" en "3 kg" aan de rechterkant. Bij deze combinatie is de rechterhelft van de weegschaal echter zwaarder dan de linkerhelft. Dit betekent dat zowel de zakken van "6 kg" en "1 kg" als die van "5 kg" en "3 kg" correct geëtiketteerd zijn. Als de rechterkant van de weegschaal lichter is dan de linkerkant, betekent dit dat er een fout werd gemaakt bij het etiketteren van de zakken. Wat zijn de verschillende mogelijkheden? Zie de tabel hieronder.
Ten slotte moet ook worden bewezen dat de informatie op de andere twee zakken - die van "2 kg" en "4 kg" - correct is.
De zakken van "1 kg", "2 kg" en "3 kg" werden al eerder samen gewogen. Gezien bewezen werd dat de zakken van "1 kg" en "3 kg" correct waren, kunt u - op basis van het uitsluitingsprincipe - afleiden dat de zak met het etiket "2 kg" dus ook correct geëtiketteerd is. Dan blijft enkel de zak van "4 kg" over. Gezien bewezen werd dat alle andere zakken correct geëtiketteerd waren, betekent dit dat ook deze zak correct is.