Булева алгебра (значення)
Булева функція
Булева алгебра (структура)
Теорема про булеві прості ідеали
Булева множина
Задача здійсненності булевих формул
Алгебра логіки
Вільна булева алгебра
Канонічна форма (булева логіка)
Булеве кільце
Булева алгебра з двома елементами
Теорема Стоуна про представлення булевих алгебр
Мінімізація булевих функцій
Мінімізація булевих функцій за допомоги дужкових форм
Логічний тип даних
Булеві операції над многокутниками
Булевий вираз
Замкнений клас функцій алгебри логіки
Булів
Бінарна матриця
Нормальна форма