Оценка на този вход от нашата програма Pascal:

% ÜA от „Логика за компютърни учени“ от проф. У. Шонинг Компютърни науки Серия том 56, S.12

„Каква е тайната на вашия дълъг живот?“, Попита 100-годишен.

„Спазвам стриктно правилата за диета:

Ако нямам бира по време на хранене, тогава винаги имам риба.
Винаги, когато имам риба и бира за едно и също хранене, избягвам сладолед.
Ако имам сладолед или избягвам бира, тогава не пипам риба. "

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

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

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

„той пие бира“ -> A
„той яде сладолед“ -> Б
„той яде риба“ -> C
'non' -> -
'et' -> &
'vel' -> v
'sq' - >>
'aeq' -> =
'1' -> вярно
'0' -> грешно

Оценка на този вход от нашата програма Pascal:

Тълкуването на атомите с 1 0 0 връща стойност 1
Тълкуването на атомите с 1 0 1 дава стойност 1
Тълкуването на атомите с 1 1 0 дава стойност 1
Всички други интерпретации връщат 0
И така, какво винаги консумира нашият 100-годишен и коя комбинация винаги избягва?

---