Komputerowe rozwiązanie łamigłówki logicznej

Rozumowanie uczące całkiem nowego rodzaju rozumowania matematycznego, polegającego na wymyśleniu i następnie napisaniu programu w „Pascalu”, pozwalającego rozwiązać łamigłówkę logiczną.