Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
Топ:
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного...
Комплексной системы оценки состояния охраны труда на производственном объекте (КСОТ-П): Цели и задачи Комплексной системы оценки состояния охраны труда и определению факторов рисков по охране труда...
Интересное:
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Лечение прогрессирующих форм рака: Одним из наиболее важных достижений экспериментальной химиотерапии опухолей, начатой в 60-х и реализованной в 70-х годах, является...
Уполаживание и террасирование склонов: Если глубина оврага более 5 м необходимо устройство берм. Варианты использования оврагов для градостроительных целей...
Дисциплины:
2017-12-22 | 179 |
5.00
из
|
Заказать работу |
|
|
Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции), (аналог дизъюнкции), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны следующие аксиомы:
ассоциативность | ||
коммутативность | ||
законы поглощения | ||
дистрибутивность | ||
дополнительность |
В нотации · + ¯ [показать]
Первые три аксиомы означают, что (A, , ) является решёткой. Таким образом, булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.
Содержание [убрать] 1 Некоторые свойства 2 Основные тождества 3 Примеры 4 Принцип двойственности 5 Представления булевых алгебр 6 Аксиоматизация 7 См. также 8 Примечания 9 Литература |
[править]Некоторые свойства
Из аксиом видно, что наименьшим элементом является 0, наибольшим является 1, а дополнение a любого элемента a однозначно определено. Для всех a и b из A верны также следующие равенства:
; | ; | |
; | ; | |
; | ; | |
; | ; | дополнение 0 есть 1 и наоборот |
; | ; | законы де Моргана |
. | инволютивность отрицания |
[править]Основные тождества
В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением ещё нескольких.
Сводная таблица свойств и аксиом, описанных выше:
; | . | 1 коммутативность переместительность |
; | . | 2 ассоциативность сочетательность |
3.1 конъюнкция относительно дизъюнкции | 3.2 дизъюнкция относительно конъюнкции | 3 дистрибутивность распределительность |
; | . | 4 комплементность дополнительность (свойства отрицаний) |
; | . | 5 законы де Моргана |
; | . | 6 законы поглощения |
; | . | 7 Блейка-Порецкого |
; | . | 8 Идемпотентность |
. | 9 инволютивность отрицания | |
; | . | 10 свойства констант |
; | . | |
дополнение 0 есть 1 ; | дополнение 1 есть 0 . | |
; | . | 11 Склеивание |
См. также Алгебра логики
|
[править]Примеры
Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются следующей таблицей:
|
|
|
Эта булева алгебра наиболее часто используется в логике, так как является точной моделью классического исчисления высказываний. В этом случае 0 называют ложью, 1 — истиной. Выражения, содержащие булевы операции и переменные, представляют собой высказывательные формы.
Алгебра Линденбаума — Тарского (фактормножество всех утверждений по отношению равносильности в данном исчислении с соответствующими операциями) какого-либо исчисления высказываний является булевой алгеброй. В этом случае истинностная оценка формул исчисления является гомоморфизмом алгебры Линденбаума — Тарского в двухэлементную булеву алгебру.
Множество всех подмножеств данного множества S образует булеву алгебру относительно операций ∨:= ∪ (объединение), ∧:= ∩ (пересечение) и унарной операции дополнения. Наименьший элемент здесь — пустое множество, а наибольший — всё S.
Если R — произвольное кольцо, то на нём можно определить множество центральных идемпотентов так:
A = { e ∈ R: e ² = e, ex = xe, ∀ x ∈ R },
тогда множество A будет булевой алгеброй с операциями e ∨ f:= e + f − ef и e ∧ f:= ef.
[править]Принцип двойственности
В булевых алгебрах существуют двойственные утверждения, они либо одновременно верны, либо одновременно неверны. Именно, если в формуле, которая верна в некоторой булевой алгебре, поменять все конъюнкции на дизъюнкции, 0 на 1, ≤ на ≥ и наоборот, то получится формула, также истинная в этой булевой алгебре. Это следует из симметричности аксиом относительно таких замен.
|
[править]Представления булевых алгебр
Можно доказать, что любая конечная булева алгебра изоморфна булевой алгебре всех подмножеств какого-то множества. Отсюда следует, что количество элементов в любой конечной булевой алгебре будет степенью двойки.
Знаменитая теорема Стоуна утверждает, что любая булева алгебра изоморфна булевой алгебре всех открыто-замкнутых множеств какого-то компактного вполне несвязного хаусдорфоватопологического пространства.
|
|
Своеобразие русской архитектуры: Основной материал – дерево – быстрота постройки, но недолговечность и необходимость деления...
Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...
История развития хранилищ для нефти: Первые склады нефти появились в XVII веке. Они представляли собой землянные ямы-амбара глубиной 4…5 м...
Биохимия спиртового брожения: Основу технологии получения пива составляет спиртовое брожение, - при котором сахар превращается...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!