Evaluarea acestui aport de către programul nostru Pascal:

% ÜA din „Logica pentru informaticieni” de Prof. U.Schöning Computer Science Series Volumul 56, S.12

„Care este secretul vieții tale îndelungate?”, A întrebat un copil de 100 de ani.

„Respect strict regulile dietei:

Dacă nu am bere la masă, atunci am mereu pește.
Ori de câte ori am pește și bere pentru aceeași masă, evit înghețata.
Când am înghețată sau evit berea, nu mă ating de pește ".

Întrebarea a găsit acest sfat destul de confuz. Îl poți simplifica?
Gândiți-vă la ce etape formale ale procedurii (diagrame, tabele, grafice etc.)
V-ați ridicat în picioare pentru a îndeplini această sarcină.

Soluție: 1. (folosind un mic program vechi Pascal FAN;-)

Formalizarea declarațiilor:

„bea bere” -> A
„mănâncă înghețată” -> B
„mănâncă pește” -> C
'non' -> -
„et” -> &
'vel' -> v
'seq' - >>
'aeq' -> =
„1” -> adevărat
'0' -> greșit

Evaluarea acestui aport de către programul nostru Pascal:

Interpretarea atomilor cu 1 0 0 returnează valoarea 1
Interpretarea atomilor cu 1 0 1 produce valoarea 1
Interpretarea atomilor cu 1 1 0 returnează valoarea 1
Toate celelalte interpretări returnează 0
Deci, ce consumă întotdeauna băiatul nostru de 100 de ani și ce combinație evită întotdeauna?

---