АЛГЕБРА ЛОГИКИ В ТЕОРИИ СОБЫТИЙ | Опубликовать статью ВАК, elibrary (НЭБ)

АЛГЕБРА ЛОГИКИ В ТЕОРИИ СОБЫТИЙ

Научная статья

Сдвижков О.А. *

Российский государственный университет туризма и сервиса, Пушкино МО, Россия

* Корреспондирующий автор (oasdv[at]yandex.ru)

Аннотация

Введено понятие бинарного (булева) события. Рассматриваются события E, задаваемые булевыми функциями E=F (E ₁, E ₂, …, E _n), в которых E ₁, E ₂, …, E _n – булевы события. Доказана теорема о вероятности события заданного такой формулой, на задачах показано применение теоремы. Приведена теорема о структуре таблицы истинности булевой функции E=F (E ₁, E ₂, …, E _n), в которой E ₁, E ₂, …, E _n – булевы события, образующие полную группу событий. Для рассматриваемых событий получен вид формулы полной вероятности, а также получены расчетные формулы для условных вероятностей и формулы Байеса. Приведены задачи на применение полученных формул.

Ключевые слова: вероятность, сумма событий, произведение событий, полная группа событий, булева функция, таблица истинности.

ALGEBRA OF LOGIC IN THEORY OF EVENTS

Research article

Sdvizhkov O.A. *

Russian State University of Tourism and Services, Pushkino, Moscow Oblast, Russia

* Corresponding author (oasdv[at]yandex.ru)

Abstract

The article introduces the concept of the binary (Boolean) event. We consider event E defined by Boolean functions E=F(E₁, E₂,…,E_n), in which E₁, E₂,…,E_n are Boolean events. A theorem on the probability of an event provided by such a formula is proved, and the application of the theorem is shown on the problems. A theorem on the structure of the truth table of the Boolean function E=F(E ₁, E ₂,…,E_n) is given, in which E ₁, E ₂,…,E_n are Boolean events that form exhaustive events. For the events under consideration, the form of the formula for the full probability is obtained, as well as the calculated formulas for the conditional probabilities and the Bayes’ formula. The problems on the application of the obtained formulas are given.

Keywords: probability, sum of events, product of events, exhaustive events, Boolean function, truth table.

Введение

Теория вероятностей [1], [3], [5], в которую входит теория событий, имеет большое прикладное значение [2]. Поэтому рассмотрение вопросов, связанных с теорией событий, несомненно, является актуальным.

Теория событий строится на основе теории множеств [3], задачи на применение алгебры логики в теории множеств рассматриваются в [9, С. 83]. В частности, операциям ∩ и ∪ теории множеств соответствуют операции ∧ и ∨ алгебры логики. Однако алгебра логики в теории событий применяется впервые.

Булевы функции событий

Назовем событие Е бинарным (булевым), если оно является результатом испытания, множество элементарных исходов которого состоит из двух событий Е и . Например, попадание стрелка в мишень – бинарное событие, а выпадение на верхней грани игрального кубика 6 очков – им не является.

Будем рассматривать события, задаваемые булевыми функциями E=F (E ₁, E ₂, …,

E_n), в которых E ₁, E ₂, … E _n – булевы события. Например, событие, состоящее в том, что один из двух стрелков попадет в мишень задается булевой функцией:

где Е₁ – первый стрелок попадет в мишень, Е₂ – второй стрелок попадет в мишень.

Также будем предполагать, что события E ₁, E ₂, …, E _n – независимы, в смысле, независимости в совокупности [3, С. 38].

Теорема 1

Пусть событие Е задано булевой функцией E=F (E ₁, E ₂, …, E _n), в которой E ₁, E ₂, …, E _n – независимые булевы события, вероятности которых Р(Е₁), Р(Е₂), …, Р(Е_n). Тогда справедлива формула:

    (1)

Доказательство

По теореме о представлении булевой функции совершенной дизъюнктивной нормальной формой [6] можно записать:

 

Для любых двух различных булевых наборов (σ₁, σ₂, …, σ_n) и (ϑ₁, ϑ ₂, …, ϑ _n) обязательно найдется элемент , для которого . Следовательно, так как , выполняется

а значит

Поэтому применение теоремы о вероятности суммы событий дает:

Остается воспользоваться теоремой о вероятности произведении событий и учесть независимость событий Е₁, Е₂, …, Е_n.

Задача 1

Событие Е задано функцией . Найти Р(Е), если Р(Е₁) = 0,6, Р(Е₂) = 0,9, Р(Е₃) = 0,7, применяя:

А) Таблицу истинности;

В) Преобразования заданной функции.

Решение

А) Составляется таблица истинности, в которой событие E_i, i=1, 2, 3, имеет значение 1, если оно наступило, и значение 0, в противном случае:

 

Таблица 1 – Расчеты к задаче 1

Из таблицы 1 следует Е = (11001010). Применяется формула (1):

В) С помощью непосредственных преобразований заданная функция приводится к виду . Поэтому

Задача 2

Решить задачу 1, если событие Е задано булевой функцией, значения которой (01010111).

Решение

А) Составляется таблица истинности:

Таблица 2 – Входные данные

По строкам с единичными значениями последнего столбца получаем:

В) Составляется карта Карно:

 

Таблица 3 – Карта Карно к задаче 2

Из блоков единичных значений следует . Поэтому

Задача 3

Решить задачу 1, если событие Е задано булевой функцией, значения которой (0001000100010001), р(Е₁)=0,6; р(Е₂)=0,7; р(Е₃)=0,8; р(Е₄)=0,9.

Решение

А) Составляется таблица истинности:

 

Таблица 4 – Входные данные к задаче 3

По таблице находим:

В) Составляется карта Карно:

 

Таблица 5 – Карта Карно к задаче 3

Из блока единичных значений следует Е= Е₃Е₄, а значит .

Пусть событие Е задано булевой функцией E=F (E ₁, E ₂, …, E _n), в которой E ₁, E ₂, …, E _n, – независимые булевы события, вероятности которых Р(Е₁), Р(Е₂), …, Р(Е_n), и есть такой набор (σ₁, σ₂, …, σ_n), для которого F (σ₁, σ₂, …, σ_n) = 0, а для всех остальных наборов F=1. Тогда вычислить Р(Е) можно по формуле:

Например,  , Р(Е₁)=0,7, Р(Е₂)=0,6, Р(Е₃)=0,8. Тогда таблица истинности имеет вид:

 

Таблица 6 – Расчетная таблица

По строкам с единичными значения Е по теореме 1 находим:

Такое же значение получается, как вероятность суммы трех событий:

Булева функция события, зависящего от полной группы событий

Теорема 2

В булевой функции E=F (E ₁, E ₂, …, E _n) события E ₁, E ₂, …, E _n образуют полную группу событий тогда и только тогда, когда F (E ₁, E ₂, …, E _n) =1, если среди значений E ₁, E ₂, …, E _n есть только одна единица.

Доказательство

Если события E ₁, E ₂, …, E _n образуют полную группу событий, то они попарно несовместны и их объединение является достоверным событием. Поэтому одновременно два и более из событий E ₁, E ₂, …, E _n наступить не могут, что и отражает условие F (E ₁, E ₂, …, E _n) =1, если среди значений E ₁, E ₂, …, E _n есть только одна единица.

Теорема 3

Пусть событие Е задано булевой функцией E=F (E ₁, E ₂, …, E _n), в которой события E ₁, E ₂, …, E _n образуют полную группу событий и имеют вероятности p₁, p₂, …, p_n,  . Тогда формула полной вероятности события Е записывается в виде:

    (2)

Следствие 1

Если событие Е задано булевой функцией E=F (E ₁, E ₂, …, E _n), в которой события E ₁, E ₂, …, E _n образуют полную группу событий, то условные вероятности Р(Е| Е_i) находятся по формулам:

 

    (3)

Следствие 2

Если событие Е задано булевой функцией E=F (E ₁, E ₂, …, E _n), в которой события E ₁, E ₂, …, E _n образуют полную группу событий, то в формуле Байеса

Р(Е_i| Е) = Р(Е_i) Р(Е| Е_i) /P(Е) вероятности Р(Е| Е_i) находятся по формулам (3), а вероятность P(Е) – по формуле (2).

Задача 4

Событие Е задано булевой функцией:

Проверить, что события Е₁, Е₂ образуют полную группу событий.

Решение

Составляется таблица истинности:

Таблица 7 – Расчеты к задаче 4

По теореме 2 из таблицы 7 следует, что Е₁, Е₂ образуют полную группу событий.

Задача 5

Событие Е задано формулой:

Проверить, что события Е₁, Е₂, Е₃ образуют полную группу событий.

Решение

Составляется таблица истинности, :

 

Таблица 8 – Расчеты к задаче 5

По теореме 2 из таблицы 8 следует, что Е₁, Е₂, Е₃ образуют полную группу событий.

Задача 6

Событие Е задано формулой задачи 5, p₁=0,1, p₂=0,6, p₃=0,3. Найти:

А) Р(Е);

В) Р(Е| Е₁), Р(Е| Е₂), Р(Е| Е₃);

С) Р(Е₁| Е), Р(Е₂| Е), Р(Е₃| Е).

Решение

А) Применяется формула (2):

В) Из формул (3) следует:

 

С) Применяется следствие 2:

 

Заключение

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

Конфликт интересов Не указан

Conflict of Interest None declared