Чтение онлайн

ЖАНРЫ

Логика для юристов: Учебник.

Ивлев Юрий Васильевич

Шрифт:

2) p1p3 • p2 p1 • p3 • p2 p1 • p2 • p3 p1 • p2 • p3 из 1) в результате перестановки в первом и втором членах по Т1,

_ _ _

3) p1p3 p1 • p2 • p3 p1 • p2 • p3 из 2) по Т10, взяв в качестве А — p1p3, а в качестве В — p2,

_ _ _

4) p1 • ( p3 p2 • p3 ) p1 • p2 • p3 из 3) по Т3,

_ _ _

5) p1 • ( p2 p3 • p3 ) p1 • p2 • p3 из 4) по Т1,

_ _

6) p1 • (p2 p3 ) p1 • p2 • p3 из 5) по Т11,

_ _

7) p1p2 p1 p1 • p2 • p3 из 6) по Т3,

_ _

8) p1p2 p3 (p1 p1 • p2 ) — из 7) по Т1 и Т3,

_ _

9) p1p2 p3 (p2 • p1 p1 ) — из 8) по Т1,

_

10) p1p2 p3 (p2 p1 ) — из 9) поТ11,

_

11) p1p2 p3 • p2 p3 • p1 — из 10) по Т3,

_

12) p1p2 p2 • p3 p1 • p3 — из 11) по Т1.

q1 = p1p2 p2 • p3 p1 • p3 .

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

Упражнение

1. Уточните и упростите при помощи алгебры логики условия работы сигнализации на объекте: желтый световой сигнал включается на пульте дежурного по объекту, если открывается дверь одной комнаты; при открытой входной двери, ведущей на объект, включается зеленый световой сигнал; если открыты одновременно дверь одной комнаты и входная дверь или открыты двери двух комнат, включается желтый и зеленый световые сигналы; если открыта дверь, ведущая из объекта во двор, то звучит сирена — сигнал тревоги.

2. Уточните и упростите условия работы автоматизированной системы управления (АСУ) при помощи алгебры логики: в противопожарных целях температура на объекте не должна превышать 40° С; для предупреждения перегрева объекта предлагается установить два вентилятора (малый и большой) и разработать АСУ, удовлетворяющую следующим условиям: при температуре ниже 20° С вентиляторы не работают, при температуре от 20° С до 30° С работает малый вентилятор, при температуре от 31° С до 36° С работает большой вентилятор, при температуре свыше 36° С работают оба вентилятора, а когда температура на объекте достигает 40° С, звучит сигнал тревоги — сирена.

В. Управленческое решение

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

Алгебра логики используется для упрощения формулировки управленческих действий, предписываемых решением.

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

1) к патрульно-постовой службе могут привлекаться сотрудники наружной службы горрайоргана внутренних дел;

2) никто не может быть одновременно сотрудником наружной службы и оперативного подразделения, если он не привлекается к несению патрульно-постовой службы;

3) никто из личного состава оперативных подразделений не привлекается к патрульно-постовой службе.

Упростим это предписание [67] , состоящее из трех суждений. Для этого обозначим класс сотрудников патрульно-постовой службы символом П, класс сотрудников наружной службы — А, класс сотрудников оперативного подразделения — Оn.

67

См.: Беркли Э. Символическая логика и разумные машины. М., 1961. С. 51.

Поделиться с друзьями: