Законы преобразования логических выражений.

Логические выражения называются равносильными, если их истинные значения совпадают при любых значениях переменной.

1. закон двойного отрицания. Инверсия

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

v – или

• A v B=B v A

• A & B=B & A

3. Сочетательный закон.

   • A v (B v C)=(A v B) v C

   • A & (B & C)=(A & B) & C

4. распределительный закон.

   • Логическое умножение (A v B) & C=(A & C) v (B & C)

   • (A & B) v C=(A v C) & (B v C)

5. законы Де Моргана.

   • Инверсия(A v B)=инверсия A v инверсия A

6. Закон иденпотентности.

   • A v A=A

   • A & A=A

7. исключение констант.

   • A v 1=1 логическое сложение A v 0=A

   • A & 1=A логическое умножение A & 0=0

8. закон противоречия

   • A & инверсия A=0

9. закон исключения третьего.

   • Инверсия A v A=1