Мозг фирмы

                                                                                                          число               log ₂ (бит)

Р -

- производство -

- стратегии производства

4

1

М -

— сбыт -

- стратегии сбыта

8

3

F -

- финансы

- планы движения денег

8

3

S -

- персонал -

- кадровая политика

4

2

R -

-НИОКР

- графики разработки

16

4

D -

- распределение -

— планы сбыта продукции

8

3

                                                                                                      131072

17

                                                                                              (множество)

(сумма)

Следующий шаг состоит в том, чтобы определить, влияние одних переменных и» другие. Любое решение относительно заводской стратегии влияет на планы движении денег и, конечно, на кадровую политику (может быть, нам придется закрыть завод, цех); оно скажется на маршрутах разработки (некоторые из приборов нельзя сейчас купить). Однако мы можем решить, что производственные изменения на заводе не    скажутся ни на стратегии, ни на планах сбыта, поскольку мы можем, например, но мере изготовления накапливать изделия на складах. Затем мы должны рассмотреть влияние любого решения в отношении переменной Р на F , S и R . По окончании такого анализа относительно каждой логической переменной мы сможем составить полный перечень логических зависимостей, где значком * будем отмечать, что "любое решение о предшествующем влияет на последующие". Все это может выглядеть следующим образом:

Оператор основных зависимостей (Л)

P*FSR

M*FSDR

F*PMRD

S*PFD

R*PFSM

D*FSP

Следует заметить, что логические зависимости не обязательно рефлсксивны. В нашем примере любое решение в отношении кадровой политики может отразиться на финансовых потоках, так как, возможно, придется платить лишнее, но примем, по решения относительно финансирован! i не влияют на кадровую политику. (Конечно, может быть и наоборот — наш пример придуман и упрощен.)

Следующий шаг состоит в извлечении из оператора (А) предварительной логической группировки переменных. Во всяком случае, либо Р, либо М влияет на F, R и S. Если мы по случайному стечению обстоятельств являемся знатоками применения логической алгебры и ее методов, то должны начать здесь записывать формальные предположения, как того требует символическая логика. Однако в этом нет необходимости, поскольку следующая таблица, вытекающая прямо из оператора (А), помогает решить задачу.

Оператор базовых зависимостей (В)

Р    М    F   S   R   D

Р

           *     *    *

М

            *     *    *    *

F

*     *               *    *

S

*          *                *

R

  *    *    *    *

D

*          *     *

Чтобы получить из известных в этой системе решений логические группы, нам следует начать записывать высказывания, объединяющие наши переменные, начиная с визуального изучения таблицы (В).

Преобразованный оператор логических групп

PM* FSR,

(1)

FR* PM,

(2)

RD* PFS,

(3)

MP* RD,

(4)

SD* PF,

(5)

S* D.

(6)

Теперь удостоверьтесь, что все зависимости из оператора (А) вошли в оператор (С). Заметьте также, что мы уже перестали думать о смысловом содержании буквенных символов. В этом сила манипуляционной алгебры — она облегчает размышления и делает их более строгими.

Конечная цель всех наших процедур — получить возможность записать систему решений в едином высказывании, охватывающем все логические зависимости. В этом будет состоять следующий этап группирования как процесс объединения шести высказываний, вышедших в оператор (С). Сделаем первый шаг в этом направлении. Вызывает недоумение высказывание (6) — в нем только две переменные. Нам следует от него избавиться, введя зависимость от D в С всюду, где она присутствует. Для этого нужно ввести новый символ — обычную точку, имеющую смысл "и". Рассмотрение Р или М в высказывании (I) требует рассмотрения F и С и Р; мы уже знаем, что рассмотрение S распространяется и на рассмотрение D, но это неверно в отношении F и R. Переписав (I) и <6) совместно, получим PM * ( FR . S * D ). / Такой оператор требует весьма тщательного изучения, поскольку здесь к понятию группы добавляется понятие гнезда. Пары РМ и FR — группы, но выражение, заключенное в скобки, представляет собой логическое гнездо, так как все оно предопределяется группой РМ. Заметим, что при отсутствии скобок данное высказывание может восприниматься как PM * FR и S * D . Это было бы неточным гнездом. Оно верно но не адекватно.

Теперь, проделав то же самое с высказываниями (3) и (5), запишем пять высказываний (преобразованные помечены буквой а).