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