Базис Буля. Основні тотожності. {&, , } Розглянемо основні закони, аксіоми і теореми алгебри логіки Деякі закони звичайної алгебри застосовні і до алгебри логіки. Наприклад: Закон коммутатівності: для множення АВ = ВА для складання A B = B A Закон асоціативності: для множення A(BC)= (AB)З для складання A  (B З) = (A B) З Закон дістрібутівності множення по відношенню до складання: A(B З)= AB AC У алгебрі логіки діє також закон дістрібутівності складання по відношенню до множення: A A B)(A З) Алгебра логіки має ряд специфічних аксіом і теорем, основні з яких, необхідні для аналізу і синтезу логічних ланцюгів або схем, приведені нижче. У алгебрі логіки широко використовується також специфічний закон склеювання: