Vyhodnotenie tohto vstupu našim programom Pascal:

% ÜA z „Logiky pre počítačových vedcov“ prof. U.Schöning Computer Science Series Zväzok 56, S.12

vyhodnotenie

„Aké je tajomstvo tvojho dlhého života?“ Spýtal sa 100-ročný.

„Striktne dodržiavam pravidlá stravovania:

Ak si nedám pivo k jedlu, tak si vždy dám rybu.
Vždy, keď si dám na to isté jedlo ryby a pivo, zmrzline sa vyhýbam.
Ak si dám zmrzlinu alebo sa vyhnem pivu, potom sa rýb nedotýkam. ““

Dotazujúcemu sa táto rada zdala dosť mätúca. Môžete to zjednodušiť?
Popremýšľajte, ktoré formálne kroky postupu (schémy, tabuľky, grafy atď.)
Pri plnení tejto úlohy ste sa postavili sami.

Riešenie: 1. (pomocou starého malého programu Pascal FAN;-)

Formalizácia vyhlásení:

„pije pivo“ -> A
„zje zmrzlinu“ -> B
„žerie ryby“ -> C
'non' -> -
'et' -> &
'vel' -> v
„seq“ - >>
'aeq' -> =
„1“ -> pravda
„0“ -> nesprávne

Vyhodnotenie tohto vstupu našim programom Pascal:

Interpretácia atómov s 1 0 0 vráti hodnotu 1
Interpretácia atómov s 1 0 1 dáva hodnotu 1
Interpretácia atómov s 1 1 0 vráti hodnotu 1
Všetky ostatné interpretácie vrátia 0
Čo teda náš 100-ročný človek vždy konzumuje a ktorej kombinácii sa vždy vyhýba?