Св-ва булевых операций

1) A&A = A, A∨A = A – идемпотентность.

2) A&B = B&A, A∨B = B∨A – коммуттативность

3) A&(B&C) = (A&B)&C, A∨(B∨C) = (A∨B)∨C – ассоциотивность

4) A&(A∨B) = A, A∨A&B = A – поглошение.

5) A&(B∨C) = A&B ∨A&C, A∨B&C = (A∨B)&(A∨C) — дистрибутивность

6) A = A – инволюция

7) Свойство констант: A&1 = A, A&0 = 0, A∨1 = 1, A∨0 = A

8) Закон исключения третьего и закон противоречия A∨A = 1, A&A = 0

9) Правило де Моргана (A&B) = A ∨ B, (A∨B) = A & B