Калижанова, А.У. Системный анализ Учебное пособие

35 Элементы алгебры логики и булевой алгебры соотносятся: И 1, Л 0. Определения логических операторов (таблицы 3.1, 3.2) сохраняются с учетом сложения по модулю 2 (таблица 3.3). Таблица 3.3-Сложения по модулю 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 Назовем элементы регулярной булевой алгебры событиями. Определение 14. Функция P(x), заданная на М, называется вероятностной мерой (или, просто, вероятностью), если оно удовлетворяет следующим аксиомам: 1) для всех . 2) P(1)=1. 3) Если , то . Определение 15. События x и y, у которых , называются несовместимыми. Определение 16. Пусть a — фиксированный элемент М,причем . Функция называется условной вероятностью события относительно события . Определение 17. Система событий называется полной системой несовместимых событий, если эти события попарно несовместимы и