Weźmiemy dziś na warsztat zagadnienie z dziedziny informatyki, z którym można sobie poradzić dopiero wtedy, gdy weszło się w zażyłość z różnorodnymi metodami logiki. Będzie tu mowa o dwóch metodach, z których jedna jest tak pomysłowa, że potrafi zrekompensować maszynie jej notoryczny...