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

Научная статья
DOI:
https://doi.org/10.23670/IRJ.2020.94.4.002
Выпуск: № 4 (94), 2020
Опубликована:
2020/04/17
PDF

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

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

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

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

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

Аннотация

Введено понятие бинарного (булева) события. Рассматриваются события E, задаваемые булевыми функциями E=F (E 1, E 2, …, E n), в которых E 1, E 2, …, E n – булевы события. Доказана теорема о вероятности события заданного такой формулой, на задачах показано применение теоремы. Приведена теорема о структуре таблицы истинности булевой функции E=F (E 1, E 2, …, E n), в которой E 1, E 2, …, 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(E1, E2,…,En), in which E1, E2,…,En 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 1, E 2,…,En) is given, in which E 1, E 2,…,En 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 1, E 2, …,

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

30-04-2020 13-06-49 30-04-2020 13-06-59

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

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

Теорема 1

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

30-04-2020 13-33-25    (1)

Доказательство По теореме о представлении булевой функции совершенной дизъюнктивной нормальной формой [6] можно записать:   30-04-2020 13-11-43 Для любых двух различных булевых наборов (σ1, σ2, …, σn) и (ϑ1, ϑ 2, …, ϑ n) обязательно найдется элемент 30-04-2020 13-12-09, для которого 30-04-2020 13-12-35. Следовательно, так как 30-04-2020 13-12-48, выполняется 30-04-2020 13-13-01 а значит 30-04-2020 13-13-09 Поэтому применение теоремы о вероятности суммы событий дает: 30-04-2020 13-13-18 Остается воспользоваться теоремой о вероятности произведении событий и учесть независимость событий Е1, Е2, …, Еn.

Задача 1

Событие Е задано функцией 30-04-2020 14-46-22. Найти Р(Е), если Р(Е1) = 0,6, Р(Е2) = 0,9, Р(Е3) = 0,7, применяя:

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

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

Решение

А) Составляется таблица истинности, в которой событие Ei, i=1, 2, 3, имеет значение 1, если оно наступило, и значение 0, в противном случае:30-04-2020 14-46-53

 

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

30-04-2020 14-49-13

Из таблицы 1 следует Е = (11001010). Применяется формула (1): 30-04-2020 14-54-12 В) С помощью непосредственных преобразований заданная функция приводится к виду 30-04-2020 14-54-26. Поэтому 30-04-2020 14-54-35

Задача 2

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

Решение

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

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

30-04-2020 14-58-40

По строкам с единичными значениями последнего столбца получаем: 30-04-2020 14-58-48 В) Составляется карта Карно:  

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

30-04-2020 14-58-56

Из блоков единичных значений следует 30-04-2020 15-03-13. Поэтому 30-04-2020 15-03-20

Задача 3

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

Решение

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

 

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

30-04-2020 15-03-42

По таблице находим: 30-04-2020 15-07-58 В) Составляется карта Карно:  

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

30-04-2020 15-08-27

Из блока единичных значений следует Е= Е3Е4, а значит 30-04-2020 15-10-53.

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

30-04-2020 15-11-08

Например,  30-04-2020 15-11-44, Р(Е1)=0,7, Р(Е2)=0,6, Р(Е3)=0,8. Тогда таблица истинности имеет вид:

 

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

30-04-2020 15-15-22

По строкам с единичными значения Е по теореме 1 находим: 30-04-2020 15-15-59 Такое же значение получается, как вероятность суммы трех событий: 30-04-2020 15-16-07 Булева функция события, зависящего от полной группы событий

Теорема 2

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

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

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

Теорема 3

Пусть событие Е задано булевой функцией E=F (E 1, E 2, …, E n), в которой события E 1, E 2, …, E n образуют полную группу событий и имеют вероятности p1, p2, …, pn30-04-2020 15-20-17. Тогда формула полной вероятности события Е записывается в виде:

30-04-2020 15-20-26    (2) Следствие 1

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

 

30-04-2020 15-20-57    (3)

Следствие 2

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

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

Задача 4

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

30-04-2020 15-25-37

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

Решение

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

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

30-04-2020 15-25-56

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

Задача 5

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

30-04-2020 15-26-08 Проверить, что события Е1, Е2, Е3 образуют полную группу событий. Решение Составляется таблица истинности, 30-04-2020 15-26-55:  

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

30-04-2020 15-30-47

По теореме 2 из таблицы 8 следует, что Е1, Е2, Е3 образуют полную группу событий. Задача 6 Событие Е задано формулой задачи 5, p1=0,1, p2=0,6, p3=0,3. Найти: А) Р(Е); В) Р(Е| Е1), Р(Е| Е2), Р(Е| Е3); С) Р(Е1| Е), Р(Е2| Е), Р(Е3| Е). Решение А) Применяется формула (2): 30-04-2020 15-34-13 В) Из формул (3) следует:   30-04-2020 15-34-21 С) Применяется следствие 2: 30-04-2020 15-34-34  

Заключение

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

Конфликт интересов Не указан Conflict of Interest None declared

Список литературы / References

  1. Венцель Е.С. Теория вероятностей. / Е.С. Венцель – М.: Наука, 1964, – 564 с.
  2. Венцель Е.С. Прикладные задачи теории вероятностей. / Е.С. Венцель, Л.А. Овчаров – М.: Радио связь, 1983. – 416 с.
  3. Вуколов Э.А. Сборник задач по математике для втузов. Часть 4 / Вуколов Э.А., Ефимов А.В., Земсков В.Н., Поспелов А.С. Под общ. ред. А.В. Ефимова и А.С. Поспелова. – 3-е изд. перераб. и доп. – М.: Издательство Физико-математической литературы, 2004. – 432 с.
  4. Гаврилов Г.П. Задачи и упражнения по дискретной математике: Учебное пособие – 3-е изд., перераб. / Г.П. Гаврилов, А.А. Сапоженко – М.: ФИЗМАТЛИТ, 2003. – 416 с.
  5. Гнеденко Б.В. Курс теории вероятностей. /Б.В. Гнеденко – М.: Физматгиз, 1961, – 406 с.
  6. Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения. 3-е издание. / Я.М. Ерусалимский – М.: Вузовская книга, 2000. – 280 с.
  7. Сдвижков О.А. Дискретная математика и математические методы экономики с применением VBA Excel. / О.А. Сдвижков – М.: ДМК Пресс, 2012. – 212 с.
  8. Супрун В.П. Основы теории булевых функций. / В.П. Супрун – М.: ЛЕНАНД, 2017. – 208 с.
  9. Тишин В.В. Дискретная математика в примерах и задачах. / В.В. Тишин – СПб. БХВ-Петербург, 2008. – 352 с.
  10. Яблонский С.В. Введение в дискретную математику: Учебное пособие для вузов / Под ред. В.А. Садовничего. – 4-е изд., стер. – М.: Высш. шк.; 2003. – 384 с.

Список литературы на английском языке / References in English

  1. Wenzel E.S. Teoriya veroyatnostei [Probability Theory] / E.S. Wenzel – M.: Nauka, 1964, – 564 p. [in Russian]
  2. Wenzel E.S. Prikladnye zadachi teorii veroyatnostei [Applied Problems of Probability Theory] / E.S. Wenzel, L.A. Ovcharov – M.: Radio Communication, 1983. – 416 p. [in Russian]
  3. Vukolov Ye.A. Sbornik zadach po matematike dlya vtuzov [Collection of Math Problems for Technical Colleges]. / Vukolov Ye.A., Efimov A.V., Zemskov V.N., Pospelov A.S. // Part 4 / Under the general. ed. of A.V. Efimov and A.S. Pospelov. – 3rd revised. – M.: Publishing House of Physics and Mathematics, 2004. – 432 p. [in Russian]
  4. Gavrilov G.P. Zadachi i uprazhneniya po diskretnoi matematike: Uchebnoe posobie – 3-e izd., pererab. [Tasks and Exercises in Discrete Mathematics: Textbook – 3rd, revised] / G.P. Gavrilov, A.A. Sapozhenko – M.: FIZMATLIT, 2003. – 416 p. [in Russian]
  5. Gnedenko B.V. Kurs teorii veroyatnosti [Probability Theory Course] / B.V. Gnedenko – M.: Fizmatgiz, 1961, – 406 p. [in Russian]
  6. Yerusalimskij Ya.M. Diskretnaya matematika: teoriya, zadachi, prilozheniya. 3-e izdanie. [Discrete Mathematics: Theory, Problems, Applications. 3rd edition] / Ya.M. Yerusalimsky – M.: University Book, 2000. – 280 p. [in Russian]
  7. Sdvizhkov O.A. Diskretnaya matematika i matematicheskie metody ekonomiki s primeneniem VBAExcel [Discrete Mathematics and Mathematical Methods of Economics using VBAExcel] / O.A. Sdvizhkov – M.: DMK Press, 2012. – 212 p. [in Russian]
  8. Suprun V.P. Osnovy teorii bulevykh funktsii [Fundamentals of the Theory of Boolean Functions]. / V.P. Suprun – M.: LENAND, 2017. – 208 p. [in Russian]
  9. Tishin V.V. Diskretnaya matematika v primerakh i zadachakh. [Discrete Mathematics in Examples and Problems] / V.V. Silence – St. Petersburg. BHV-Petersburg, 2008. – 352 p. [in Russian]
  10. Yablonskii S.V. Vvedenie v diskretnuyu matematiku: Uchebnoe posobie dlya vuzov [Introduction to Discrete Mathematics: Textbook for High Schools] / Ed. by V.A. Sadovnicii. – 4th ed., revised. – M.: Vysshaya Shkola; 2003. – 384 p. [in Russian]