W barze
Mamy opracowaną metodę dla rozwiązania zadania. Ustalmy, jakie wyłączenia uzyskujemy na podstawie informacji:
(1*) Zbyszek nie zamówił wina.
(1**) Zbyszek nie zamówił piwa.
(2*) Zbyszek nie zamówił słonego ciastka.
(2**) Słone ciastko zamówiono nie do wina,
(2***) Słone ciastko zamówiono nie do piwa.
(3) Do lodów nie zamówiono piwa.
(4*) Ludwik nie prosił o coca-colę.
(4**) Ludwik nie prosił o napoleonkę.
(4***) Ludwik nie prosił o lody.
(5) Do słonego ciastka nie zamówiono soku wiśniowego.
(6*) Stanisław nie zamówił napoleonki.
(6**) Stanisław nie zamówił słonego ciastka.
(6***) Stanisław nie zamówił wina.
Uwidocznijmy te wyłączenia w układzie trójtabli-cowym (rys. 33.1).
Z tablicy I otrzymujemy natychmiast wynik częściowy; do słonego ciastka można było zamówić tylko coca-colę.
Po zawężeniu i przeniesieniu z tablicy III można odczytać, że słone ciastko mógł zamówić tylko Gabriel (rys. 33.2).
Kelner zatem mógł podać słone ciastko i (reguła powiązania) coca-colę tylko Gabrielowi. Jeżeli stosownie do tego wyniku zawęzimy tablicę III, to okaże się, że napoleonka przypadnie Zbyszkowi, a kanapka Ludwikowi (rys. 33.3).
Na podstawie wyniku I możemy zawęzić także tablicę II. Wtedy stanie się jasne, że tylko Zbyszek mógł prosić o sok wiśniowy, a Ludwik o wino (rys. 33.4). Jeśli uwzględniając powyższe dalej zawęzimy tablicę II, otrzymamy także ostatni wynik: piwo przypadnie Stanisławowi rys. 33.5).
Wobec powyższych danych kelner tylko tak może rozdzielić napoje i desery:
Gabriel otrzymuje słone ciastko i coca-colę, Stanisław otrzymuje lody i piwo,
Ludwik otrzymuje kanapkę i wino oraz Zbyszek otrzymuje napoleonkę oraz sok wiśniowy.
Zbyszek otrzymuje napoleonkę oraz sok wiśniowy.
|