Меню

Основные законы и теоремы булевой алгебры

Переместительный (свойство коммутативности): А+В=В+А; А*В=В*А

.

Сочетательный (свойство ассоциативности): (А+В)+С=А+(В+С)

; (А*В)*С=А*(В*С)

.

Распределительный (свойство дистрибутивности): А*(В+С)=А*В+А*С

; А+В*С=(А+В)*(А+С)

.

Теоремы

Поглощения: А+А*В=А; А*(А+В)=А.

Склеивания:

Де Моргана. Существует две формы записи теоремы де Моргана:

Форма 1:(3.1.1)

Форма 2:(3.1.2)

Последние два выражения вытекают из принципа двойственности булевой алгебры (раздел 3.5).

Теорема без названия. Существует еще одна теорема без названия, которую представим следующим образом:

(3.1.3)

Два полезных соотношения:

(3.1.4)

Другие статьи:

Блок управления 4-х канальным ТВ передатчиком МВ. Устройство индикации
В данной курсовой работе предстоит спроектировать устройство индикации на микроконтроллере KP1816BE51. Устройство индикации входит в блок управления 4-х канальным ТВ передатчиком. Также в этот блок входят: клавиатура, звук и ...

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

Методы рационального кодирования
Методы рационального кодирования предназначены для сокращения избыточности сообщений в условиях априорной неопределенности относительно статистических характеристик сигналов [4]. Т.е. в условиях, когда сигнал является ...

(C) 2019 | www.techniformula.ru