← Logică și algoritmi
Legătura cu informatica
Problema se rezolvă prin raționament logic cu mulțimi.
- fiecare încercare este o mulțime de borcane;
- dacă o încercare are tot atâtea schimbări câte borcane, apa nu este în mulțimea ei;
- dacă are o schimbare mai puțin, apa este într-unul dintre borcanele ei;
- borcanul cu apă se află în toate mulțimile cu o schimbare lipsă și în niciuna dintre celelalte;
- calculatorul ia decizii în același fel, verificând condiții care sunt adevărate sau false.