Список тем по булевой алгебре - List of Boolean algebra topics
Это список тем, связанных с булевой алгеброй и логикой высказываний .
Статьи с широким охватом и введениями
- Алгебра множеств
- Булева алгебра (структура)
- Булева алгебра
- Поле наборов
- Логическая связка
- Исчисление высказываний
Булевы функции и связки
- Ampheck
- Канонически определенные булевы алгебры
- Условная дизъюнкция
- Уклоняющаяся логическая функция
- Эксклюзивный или
- Функциональная полнота
- Логическая двусмысленность
- Логическое соединение
- Логическая дизъюнкция
- Логическое равенство
- Логическое следствие
- Логическое отрицание
- Логическое ИЛИ
- Лупановское представительство
- Функция большинства
- Материал условный
- Стрела Пирса
- Инсульт Шеффера
- Единственный достаточный оператор
- Симметричная булева функция
- Симметричная разница
- Полином Жегалкина
Примеры булевых алгебр
Расширения булевых алгебр
Обобщения булевых алгебр
- Алгебра де Моргана
- Логика первого порядка
- Алгебра Гейтинга
- Алгебра Линденбаума – Тарского
- Косая булева алгебра
Синтаксис
- Алгебраическая нормальная форма
- Логический конъюнктивный запрос
- Каноническая форма (булева алгебра)
- Конъюнктивная нормальная форма
- Дизъюнктивная нормальная форма
- Формальная система
Технические приложения
Теоремы и конкретные законы
- Теорема о булевом простом идеале
- Теорема компактности
- Теорема консенсуса
- Законы де Моргана
- Двойственность (теория порядка)
- Законы классической логики
- Закон Пирса
- Теорема Стоуна о представлении булевых алгебр
люди
- Буль, Джордж
- Де Морган, Август
- Джевонс, Уильям Стэнли
- Пирс, Чарльз Сандерс
- Стоун, Маршалл Харви
- Венн, Джон
- Жегалкин Иван Иванович
Философия
- Силлогистика Буля
- Логический импликант
- Энтуитивный граф
- Экзистенциальный граф
- Законы формы
- Логический график
Визуализация
Неклассифицированный
- Логическая функция
- Булевозначная функция
- Булевозначная модель
- Проблема логической выполнимости
- Булево дифференциальное исчисление
- Индикаторная функция (также называемая характеристической функцией , но этот термин используется в теории вероятностей для другой концепции)
- Минимизатор эвристической логики эспрессо
- Логическая матрица
- Логическое значение
- Каменная двойственность
- Каменное пространство
- Топологическая булева алгебра