Евалуација на овој влез од нашата програма Паскал:

% ÜA од „Логика за компјутерски научници“ од Проф. У.Шонинг Серија за компјутерски науки Том 56, С.12

„Која е тајната на твојот долг живот?“, Прашал стар 100 години.

„Строго се придржувам до правилата за исхрана:

Ако немам пиво со оброк, тогаш секогаш имам риба.
Секогаш кога имам риба и пиво за истиот оброк, избегнувам сладолед.
Ако имам сладолед или избегнувам пиво, тогаш не допирам риба “.

Прашателот смета дека овој совет е прилично збунувачки. Можете ли да го поедноставите?
Размислете кои формални чекори на постапката (дијаграми, табели, графикони, итн.)
Вие застанавте себеси за да ја исполните оваа задача.

Решение: 1. (користејќи стара мала програма на Паскал FAN;-)

Формализирање на изјавите:

'тој пие пиво' -> А.
'тој јаде сладолед' -> Б.
'тој јаде риба' -> Ц.
'не' -> -
'et' -> &
'vel' -> v
„сек“ - >>
'aeq' -> =
'1' -> точно
'0' -> погрешно

Евалуација на овој влез од нашата програма Паскал:

Интерпретација на атомите со 1 0 0 враќа вредност 1
Интерпретација на атомите со 1 0 1 дава вредност 1
Интерпретација на атомите со 1 1 0 дава вредност 1
Сите други толкувања се враќаат 0
Значи, што консумира секогаш нашиот 100-годишник и која комбинација секогаш ја избегнува?

---