Булеві теореми та закони

Усі змінні, якими оперує алгебра логіки, можуть приймати тільки два значення – логічний 0 та 1.

В алгебрі логіки визначено:

Ø відношення еквівалентності позначається знаком “=”;

Ø операції: додавання, або диз’юнкція позначається знаком “Ú ”, “+”;

Ø множення, або кон’юнкція позначається знаком “&”, “Ù”, “ · ”;

Ø заперечення або інверсія позначається надкресленням “”, або апострофом.

Алгебра логіки визначається наступною системою аксіом:

Закони алгебри логіки:

1) переставний (комутативний) закон:

2) сполучний (асоціативний) закон:

3) розподільний (дистрибутивний) закон :

4) закони де Моргана для двох змінних:

для n змінних:

5) закон подвійного заперечення:

;

6) правило склеювання:

;

7) правило поглинання:

; ; ;

8) закон ідемпотентності (повторення):

; ; і=0,…,n

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Основні поняття і закони алгебри логіки	\|	Теоретичні питання

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.003 сек.