Функция “Логическое ИЛИ”

Функция “Логическое НЕ”

Функция “исключающее или”

Логические теоремы

АКСИОМЫ(ТОЖДЕСТВА)

законы коммутативности

закон дистрибутивности

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

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

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

(А*В)*С=А*(В*С).

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

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

Теоремы