F*[PD.M*(DP*PM)]. (2Ь)
Это выражение можно ввести в правую часть выражения (1с), но мы не можем пренебрегать высказываниями (2) и (4), т. е. M * RD и R * PM , поскольку они ранее фигурировали в левой части выражения (1с). Из множества путей их объединения наиболее удобным кажется следующий: переписать ( PM * R ) как ( PM * R ) ( M * D ), поскольку M * PD , и ( RD * P ) как R * PM )( D * P ), поскольку R * PM . Тогда левая часть выражения (1с) сведется к выражению
[(PM*RPM) (M*D*P)].
Продолжая тем же способом, получаем:
В окончательном операторе символ F выделен полужирным шрифтом. Это утверждение используется, чтобы показать, что полное перечисление его последствий здесь опущено. Логика, конечно, приведет вновь к операторам, предшествующим F.
Ранее отмечалось наличие многих логически эквивалентных путей написания этого полного выражения. Что мы выиграли от того, что записали одно из них в столь сложной форме? Вопрос вполне правомерен, поскольку общее выражение можно было бы (на языке логики) сильно сжать. Ответ в том, что мы стремились к пониманию системы логических решений и к предоставлению возможности самостоятельно рассмотреть множество подходов к решению, поскольку мультинод может выбирать любой путь, который ему предпочтителен. _
Предположим, что уже почти принято решение, касающееся планов сбыта. Один из восьми рассмотренных при этом планов начинает выглядеть непривлекательным и исключается. Тогда мы обращаемся к оператору (F) слева и — смотрим на D. Согласно первому правилу мы должны рассмотреть влияние этого решения на Р. Дальше мы замечаем, что это же решение влияет на F, и далее рассмотрение должно распространиться на М (фактор Р уже был рассмотрен, а D оказался избыточным). Рассмотрение М включает его влияние на фактор R, в свою очередь влияющий как на Р, так и на М Далее, F означает также обдумывание в отношении фактора S , который прямо влияет на D, о котором и идет речь, а последний влияет на Р и F, о чем мы уже знаем Такова будет интерпретация системы, если она начинается с D. Попытайтесь теперь сформулировать разумные правила для проверки влияния решения относительно D исходя из первой таблицы — оператора (А). Новое обращение к переменным быстро приведет Вас к неразрешимым узлам противоречий. Попытайтесь изобразить все это графически — график быстро станет выглядеть как запутанный котенком клубок ниток. Мы снова оказываемся в плену растущего многообразия.
Итак алгебра решений дала нам уже полезное руководство, но наша действительная цель состояла в том, чтобы создать полезную метрику-измеритель решения. Тогда для этой цели мы обязаны записать наш оператор (F) полностью, иначе говоря, мы обязаны показать варианты. Фактор Р имеет четыре составляющие возможные заводские стратегии. Тогда там, где в операторе ( F ) присутствует Р. следует писать
Р(р1, р2, р3, p4) и т. д.
Давайте теперь вернемся к рассмотрению D или, как мы условились, представим его в виде D ( d 1, d 2, d 3, d 4, d 5, d 6, d7, d 8). В соответствии с нашим примером один из этих планов отпал — таково было решение. Первое заключение тогда состоит в том, что разнообразие D уменьшено с 8 до 7, т. е. с 3 до 2,8 бит. Это означает, что