Оцінка цього вкладу за допомогою нашої програми Паскаль:

% ÜA з "Логіки для вчених-інформатиків" професора У. Шенінга, серія комп'ютерних наук Том 56, S.12

вкладу

«У чому секрет вашого довгого життя?» - запитав 100-річний юнак.

"Я суворо дотримуюсь правил дієти:

Якщо у мене немає пива під час їжі, то у мене завжди є риба.
Всякий раз, коли я приймаю рибу та пиво для однієї їжі, я уникаю морозива.
Якщо я маю морозиво або уникаю пива, то я не чіпаю рибу ".

Допитувач знайшов цю пораду досить заплутаною. Чи можете ви спростити це?
Подумайте, які офіційні етапи процедури (схеми, таблиці, графіки тощо)
Ви встояли за себе, щоб виконати це завдання.

Рішення: 1. (за допомогою старої маленької програми Pascal FAN;-)

Формалізація тверджень:

'він п'є пиво' -> A
'він їсть морозиво' -> Б
'він їсть рибу' -> С
'не' -> -
'et' -> &
'vel' -> v
'seq' - >>
'aeq' -> =
'1' -> правда
'0' -> неправильно

Оцінка цього вкладу за допомогою нашої програми Паскаль:

Інтерпретація атомів з 1 0 0 повертає значення 1
Інтерпретація атомів з 1 0 1 дає значення 1
Інтерпретація атомів з 1 1 0 повертає значення 1
Усі інші інтерпретації повертають 0
Отже, що завжди споживає наш 100-річний юнак і якої комбінації він завжди уникає?