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