Законы и правила алгебры логики.

1. Ассоциативный закон

(а+в)+с=а+(в+с)
(а*в)*с=а*(в*с)

2. Коммуникативный закон

а+в=в+с

а*в=в*с

3. Диструбивный закон

а*(в+с)=а*в+а*с

а+(в*с)=а*в+а*с (только в логике)

4. Двойное отрицание

5. Правила работы с const 0 и 1

0*а=0 0+а=а

1*а=а 1+а=1

а*а=а (нет степеней) а+а=а (нет множителей, типо 2а)
а*не а=0 а+ не а=1

6. Законы де Моргана

V это +

Также с двойным отрицанием. & это *

7. Поглощение

а+ав=а

8. Склеивание

ав+а*(не в)=а

9. Обобщенное склеивание

ав+(не а)с+вс=ав+(не а)с (док-во через таблицу истинности)

10. Правило Блейка-Порецкого

а+(не а)в=а+в

не а+ав=не а+в

Не нашли, что искали? Воспользуйтесь поиском: