Zadanie 1

W pewnym banku, jako Kasjer, Menadżer i Strażnik pracują (niekoniecznie w tej kolejności!) panowie: Brown, Jones i Smith.

• Strażnik, który jest jedynakiem, zarabia najmniej.
• Pan Smith, który poślubił niedawno siostrę pana Browna, zarabia więcej niż Menadżer.

Pytanie: kto jest kim w tym banku?

Zadanie 1A

Mary’s ideal man is tall, dark, and handsome.
She knows four men: Alec, Bill, Carl, and Dave.
Only one of the four men has all of the characteristics Mary requires.
Only three of the men are tall, only two are dark, and only one is handsome.
Each of the four men has at least one of the required traits.
Alec and Bill have the same complexion.
Bill and Carl are the same height.
Carl and Dave are not both tall.
Which one of the four men satisfies all of Mary’s requirements?

Zadanie 2

W pewnym dużym sklepie jako Zaopatrzeniowiec, Kasjer, Ekspedient,„Piętrowy” (zarządzający całym piętrem) oraz Menadżer pracują (niekoniecznie w podanej kolejności!): panna Ames, panna Brown, pan Conroy, pan Davis i pan Evans.

• Kasjer i Menadżer mieszkali w jednym pokoju w internacie, kiedy byli w szkole.
• Zaopatrzeniowiec jest starym kawalerem.
• Pana Evansa i pannę Ames łączą jedynie stosunki służbowe.
• Pan Conroy rozczarował żonę mówiąc jej, że Menadżer nie wyraził zgody na podwyżkę dla niego.
• Pan Davis będzie świadkiem na ślubie osób pracujących jako Kasjer i Ekspedient. Zakładamy tutaj „tradycyjny model rodziny” ;)

Pytanie: kto jakie zajmuje stanowisko w tym sklepie?

Zadanie 3

W domu towarowym jako ekspedient, kasjer, pracownik biurowy, administrator i kierownik pracują Allen, Bennett, Clark, Davis i Ewing.

• kasjer i administrator jadają lunch w godz. 11:30-12:30, pozostali godzinę później.
• panie Allen i Clark są siostrami.
• Allen i Bennett przynoszą własne kanapki, a w przerwie na lunch grywają w kanastę.
• Davis i Ewing nie kontaktują się ze sobą od czasu, gdy Davis wrócił z lunchu wcześniej, zobaczył, że Ewing przedwcześnie opuścił miejsce pracy i doniósł kierownikowi.
• kasjer i pracownik biurowy pracują razem, nazywani są przez kolegów "starymi, nierozłącznymi kawalerami".

Pytanie: Kto jest kim w domu towarowym?

Zadanie 4

Agata i Andrzej zaprosili na przyjęcie cztery pary swoich znajomych. Niektórzy z gości znali się wcześniej, inni - nie, niektórzy byli uprzejmi, a inni – mniej. Tak więc doszło do wymiany pewnej liczby uścisków dłoni, chociaż nie wszyscy się przywitali (oczywiście nikt nie ściskał swojej własnej dłoni, ani też dłoni swojego partnera/partnerki). Z ciekawości, pod koniec przyjęcia Agata zapytała wszystkich obecnych z iloma osobami wymienili uścisk dłoni. Od każdej z dziewięciu osób usłyszała inną odpowiedź.

Pytanie: Jak wiele dłoni uścisnął Andrzej?

• Rozwiąż powyższy problem modelując go w Alloy-u i używając jego analizatora do znalezienia odpowiedzi.
• Ponieważ znalezienie rozwiązania dla 10 osób może być nieco czasochłonne, do wstępnych testów swego modelu można wykorzystać mniejszą liczbę gości – 4 lub 6.