A Pascal programunk értékelése:

% ÜA a "Logic for Computer Scientists" -től, professzor U.Schöning Computer Science sorozat 56. évfolyam, S.12

"Mi a hosszú életed titka?" - kérdezte egy 100 éves gyermektől.

"Szigorúan betartom az étrend szabályait:

Ha nincs sör étkezés közben, akkor mindig van halam.
Amikor ugyanahhoz az étkezéshez van halam és söröm, kerülöm a fagylaltot.
Amikor fagyizok, vagy kerülöm a sört, nem nyúlok a halakhoz. "

A kérdező ezt a tanácsot meglehetősen zavarosnak találta. Le tudja egyszerűsíteni?
Gondoljon bele az eljárás mely formális lépéseibe (diagramok, táblázatok, grafikonok stb.)
Kiálltál magad mellett, hogy ezt a feladatot teljesítsd.

Megoldás: 1. (egy régi kis Pascal program segítségével FAN;-)

Az állítások formalizálása:

'sört iszik' -> A
'fagyit eszik' -> B
'halat eszik' -> C
„nem” -> -
'et' -> &
'vel' -> v
'seq' - >>
'aeq' -> =
'1' -> igaz
'0' -> rossz

A Pascal programunk értékelése:

Az 1 0 0 atomok értelmezése 1-es értéket ad
Az 1 0 1 atomok értelmezése 1 értéket eredményez
Az 1 1 0 atomok értelmezése 1 értéket ad vissza
Minden más értelmezés 0-t ad vissza
Tehát mit fogyaszt mindig a 100 éves gyermekünk, és melyik kombinációt mindig kerüli?

---