Свойства элементарных функций алгебры логики


 

Функции И, ИЛИ, НЕ в совокупности с логическими переменными (число их не менее 2; , ) образуют булеву алгебру.

Для неё справедливы аксиомы:

1.

2. , (идемпотентность)

3. ,

4. ,

5. ,

6. ,

 

Для булевой алгебры справедливы свойства:

 

1) ассоциативность

;

;

2) коммутативность

; ;

3) дистрибутивность

;

.

 

Для булевой алгебры справедливы законы де Моргана:

;

;

 

Докажем, например, закон де Моргана

 

 

Для булевой алгебры справедливы законы поглощения и склеивания.

; - поглощение

; - склеивание

 

 

Свойства, аксиомы и теоремы булевой алгебры обладают дуальностью (т.е. функция И дуальна функции ИЛИ, а “1” дуальна “0”). При отсутствии в логическом выражении скобок первыми должны выполняться операции НЕ, затем И и последними – ИЛИ.

Пример:

найти его отрицание и проверить с помощью закона де Моргана.

1.

2.

Рассмотрим теперь алгебру Жегалкина, состоящей из операций И, и операции константа 1. Для неё справедливы такие свойства.

1. , (коммутативность)

2. , (ассоциативность)

3. (дистрибутивность)

Для неё справедливы аксиомы:

В алгебре Жегалкина нет принципа дуальности.

Связь между алгебрами Буля и Жегалкина устанавливается с помощью таких тождеств:

; ;

;

 

 



Дата добавления: 2016-07-18; просмотров: 1817;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.009 сек.