Alexey_Donskoy писал(а):
P.S. Да, ещё раз по поводу рис. 109-110. Это ключевой момент в данном вопросе. Супернаглядная иллюстрация того, как делать нельзя ни в коем случае.
Уважаемый Алексей Донской!
В конце главы 10 есть раздел, который вызывает у Вас особенно сильные возражения. Этот раздел называется "ВИЗУАЛИЗАЦИЯ СЛОЖНЫХ ЛОГИЧЕСКИХ ФУНКЦИЙ".
Прежде всего, хочу пояснить, что это МАТЕМАТИЧЕСКИЙ раздел, касающийся вопроса о булевых функциях. Обычно булевы функции записывают либо в виде формул, либо в виде логичских схем (при проектировании аппаратуры).
Насколько мне известно, до сих пор вопрос о возможности представления булевых функций в виде визуальных алгоритмов НЕ БЫЛ ИССЛЕДОВАН. Это новый раздел (точнее, маленький кусочек) математической логики.
В связи с этим возникают вопросы.
1. Можно ли произвольную булеву функцию представить в виде визуального алгоритма на языке Дракон? Если можно, как это сделать?
2. Обратная математическая задача. Можно ли произвольную булеву функцию (представленную в виде визуального алгоритма на языке Дракон) преобразовать в эквивалентную булеву функцию, записанную в виде обычной (традиционной) формулы.
Если можно, как это сделать?
Вот на эти матеатические вопросы и отвечает последний раздел главы 10. В этом разделе можно выделить 4 части:
1.
Дана булева функция
Х = (A и
неВ и C) или (D и E и
неF)
Затем на рис. 108 представлена эквивалентная ей булева функция представленная в виде визуального алгоритма на языке Дракон.
2.
Затем сформулирована теорема в общем виде:
Теорема . Дракон-схему, содержащую логические связки И, ИЛИ, НЕ внутри икон «вопрос», всегда можно преобразовать в эквивалентную дракон-схему, не содержащую указанных связок.
3.
Затем на рис. 109 показана обратная задача.
Даны булевы функции представленные в виде визуального алгоритма на языке Дракон. И тут же дан искомый ответ:
эквивалентные булевы функции, записанные в виде обычных (традиционных) формул.
4.
Затем на рис. 110 показана обратная задача, но уже без ответов.
Вывод. Все это чистая математика. Против чего тут возражать? Или в мою математику вкралась ошибка?
Эта математика нужна, так как она служит теоретическим обоснованием описываемых в программах на Драконе логических функций (независимо от того, в какую сторону развернуты да и нет).