Символическая логика убийства - [4]

?БП = 0.

Здесь мы пользуемся знаком равенства, потому что это сочетание верно. После вычеркивания этого сочетания у нас остается следующее уравнение:

БМ + БФ + ПМ + ПФ + МФ + БПМ + ВМФ + БПФ + ПМФ + БПМФ ? 0.

Теперь обратимся к Пирсону. Он не доверял трусу Мэнло столь глубоко, что трудно поверить, чтобы он когда-либо пошел с ним на убийство. Значит, во всех сочетаниях, где появляются оба, и П и М, - П должно быть отрицательным. Давайте так и запишем эти сочетания, употребив знак равенства для обозначения истинности:

?ПМ + ?БПМ + ?ПМФ + ?БПМФ = 0.

Теперь от первоначального уравнения у нас остается только:

БМ + БФ + ПФ + МФ + БМФ + БПФ ? 0.

Но вы говорите, Пирсон никогда не позволяет себе оказаться между Бойсом и Филеттом, - что он стал возражать, когда вы попытались здесь оставить его с ними одного. Пошел бы он вместе с ними на убийство? Вряд ли! В таком случае мы должны записать сочетание Бойс - Пирсон - Филетт как истинное, с отрицательным П и знаком равенства:

?БПФ = 0.

После чего от нашего первоначального уравнения остается:

БМ + БФ + ПФ + МФ + БМФ ? 0.

Но Мэнло, по вашим словам, удрал как заяц, едва завидев Бойса. Разумеется, он бы ни за что не помог Бойсу совершить убийство, если только его некому было защитить. Поэтому записываем сочетание Бойс - Мэнло с отрицательным М и знаком равенства:

?БМ = 0.

После чего у нас остаются только следующие сочетания:

БФ + ПФ + МФ + БМФ ? 0.

Но вы говорите, Филетт так боится своих друзей, что у него правило никогда ни с нем из них не оставаться один на один. Во всех сочетаниях в два человека, где появляется Филетт, мы, следовательно, употребим отрицательное Ф и знак равенства, вот так:

?БФ + ?ПФ + ?МФ = 0.

После чего из наших первоначальных сочетаний остается только БМФ. Эта часть уравнения истинна, и она единственная, которая может быть истинна. Она доказывает, что Бойс, Мэнло и Филетт все вместе участвовали в убийстве. Если какая-то сумма равна нулю, тогда все ее слагаемые тоже равны нулю, а в двучленной системе истинно и обратное. Короче, эти трое что-то путают, отрицая свою вину...

Дарвин через стол подтолкнул бумажку Хинклу, который бросил на нее брезгливый взгляд, он и пальцем к ней не притронулся.

- И это у вас называется доказательство? - сказал он задыхающимся голосом.

- Конечно. Символическая логика была изобретена, да позволено будет употребить это слово, в 1847 году английским математиком Джорджем Булем*, который, вероятно, даже в могиле перевернулся - до того я упростил его систему. Ее часто называют "Алгеброй" Буля, и она вот уже более столетия используется математиками и логиками, - сказал Дарвин.

* Джордж Буль (1815-1864) - ирландский математик и логик, один из основоположников математической логики. Младшая дочь Буля - Этель Лилиан Войнич, автор всемирно известного романа "Овод".

- Но что такое столетие в истории человечества? - возмущенно возразил доктор Маккинстри. - Люди - это не числа, и не буквы! В том-то и беда с вами, учеными, - вы пытаетесь свести людей к простым количественным символам.

- Не к количественным, сэр, а к относительным, - сказал Дарвин. Буквы Б, П, М и Ф представляют не людей, а всего лишь узкие характеристики.

- Человеческие существа слишком сложны, - покачал головой старик, чтобы их можно было подвести под такую... абракадабру!

- Я не столь в этом уверен, сэр, - сказал задумчиво Кунц. - Это довольно примитивные представители рода человеческого. Я не понимаю всех этих иероглифов, но, даю вам слово, я понимаю тех четверых мошенников.

Шелли тоже ничего не понимала, но выглядела уверенно.

- В калифорнийской техноложке ребята все время пытаются подловить Дарвина на ЭВМ, да только ничего у них не выходит, - сказала она. - Почему бы вам не попросить их проверить эти расчеты? Могу спорить, что и на этот раз Дарвин прав!

- Но у присяжных, черт побери, нет компьютера, - взорвался наконец Хинкл и стукнул по столу куланом. - Нет, мы должны найти эту машину!

- У меня есть одна мысль и об автомобиле, - сказал Дарвин.

Он написал что-то на другом клочке бумаги, который протянул через стол доктору Маккинстри.

- Взгляните, пожалуйста, сэр, и попытайтесь вспомнить, о чем вы думали, когда слышали выстрелы и видели автомашину.

Кунц и Хинкл вытянули шеи и увидели то, что показалось им похожим на список калифорнийских автомобильных номеров: ЛОВ 538, ХЛЕ 886, ДжИК 213, ИСА 529, СРП 471, МОИ 398, ДЧХ 935.

Старый проповедник неохотно взял бумажку, пробежал глазами, нахмурился и отложил ее в сторону, потом снова схватил, вдруг побледнев.

- Вот он, номер той машины! - вскричал он. - Четвертый по порядку. Да я вижу его так же отчетливо, как будто...

Но Хинкл и Кунц уже выхватили у него бумажку и выбежали из комнаты. Вернулись они через три минуты - ровно столько нужно, чтобы проверить номер в Калифорнийском управлении автоинспекции. Теперь уже у обоих мужчин был победный вид.

- Это голубой "седан" выпуска 1952 года, зарегистрированный за сестрой квартирного хозяина Сида Филетта, - сказал Кунц. - Тут уж ему не отвертеться, и я уверен, что и двум другим тоже!