Двухэлементная булева алгебра
- Булева алгебра — это алгебра, основанная на логике высказываний.
- Булева алгебра имеет две основные операции: «+» и «∙».
- Сумма и произведение коммутируют и ассоциируются, как в обычной алгебре действительных чисел.
- Булева алгебра является алгеброй типов и может быть представлена с помощью конкатенации и овербара.
- Существует множество известных базисов для всех булевых алгебр и, следовательно, для 2.
- Метатеорема утверждает, что любое тождество из 2 выполняется для всех булевых алгебр.
- Булева алгебра математически нетривиальна и имеет множество приложений в логике и компьютерной науке.
Полный текст статьи: