• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

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

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

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

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

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

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

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

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

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

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

,

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

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

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

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

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

;

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

;

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

; ; ;

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

; ; і=0,…,n

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

1. IV. Закони ідеальних газів.
2. Аграрні закони України
3. Аксіоми. Теореми. Ознаки.
4. База управлінських рішень і закони організації.
5. Булеві функції
6. Види, типи і форми професійного спілкування. Основні закони спілкування. Стратегії спілкування.
7. Визначення добутку на множині цілих невід’ємних чисел, його існування та єдиність. Операція множення та її основні властивості (закони).
8. Визначення суми на множині цілих невід’ємних чисел, її існування та єдиність. Операція додавання та її основні властивості (закони).
9. Газові закони
10. Газові закони. Суміш газів.
11. Гіпотези, які не відхиляються в експерименті, перетворюються на компоненти теоретичного знання про реальність: факти, закономір­ності, закони.

Переглядів: 1148