Основные законы Булевского базиса:

1) закон идемпотентности

аа=а; аа=а;

2) коммутативный (переместительный) закон

ав=ва; ав= ва;

3) ассоциативный (сочетательный) закон

а(вс)=(ав)с; а(вс)=(ав) с;

4) дистрибутивный (распределительный) закон

а(вс)= (ав) (ас); а (вс)= (ав)  (ас);

5) закон двойного отрицания

_

ā =а;

6) законы двойственности (правила де Моргана)

_ _ __ _ _ ____

а + в= ав; а в = а + в;

Его можно распространить на любое число переменных n:

7) закон склеивания

_

а в + а в =а; (склейка по в)

_

(a + в) (a + в) =а;

8) закон поглощения

а + а в= а; а(а + в)=а.