Список тем по булевой алгебре

Это список тем, связанных с булевой алгеброй и пропозициональной логикой .

Статьи широкого профиля и введения

• Алгебра множеств
• Булева алгебра (структура)
• Булева алгебра
• Поле множеств
• Логическая связка
• Пропозициональное исчисление

Булевы функции и связки

• Ампек
• Анализ булевых функций
• Сбалансированная булева функция
• Функция изгиба
• Булевы алгебры, канонически определенные
• Булева функция
• Булева матрица
• Булева функция
• Условная дизъюнкция
• Уклончивая булева функция
• Эксклюзивный или
• Функциональная полнота
• Логический двуусловный
• Логическое соединение
• Логическая дизъюнкция
• Логическое равенство
• Логическое следствие
• Логическое отрицание
• Логическое НЕ-ИЛИ
• Лупанов представительство
• Функция большинства
• Материал условный
• Минимальные аксиомы для булевой алгебры
• Стрелка Пирса
• Функция однократного чтения
• инсульт Шеффера
• Единственный достаточный оператор
• Симметричная булева функция
• Симметричная разность
• Полином Жегалкина

Примеры булевых алгебр

• Булев домен
• Полная булева алгебра
• Внутренняя алгебра
• Двухэлементная булева алгебра

Расширения булевых алгебр

• Производная алгебра (абстрактная алгебра)
• Свободная булева алгебра
• Монадическая булева алгебра

Обобщения булевых алгебр

• Алгебра Де Моргана
• Логика первого порядка
• алгебра Гейтинга
• Алгебра Линденбаума–Тарского
• Косая булева алгебра

Синтаксис

• Алгебраическая нормальная форма
• Булевский конъюнктивный запрос
• Каноническая форма (булева алгебра)
• Конъюнктивная нормальная форма
• Дизъюнктивная нормальная форма
• Формальная система

Технические приложения

• График И-инвертора
• Логический вентиль
• Булев анализ

Теоремы и частные законы

• Теорема о простом идеале Буля
• Теорема компактности
• Теорема консенсуса
• Законы де Моргана
• Двойственность (теория порядка)
• Законы классической логики
• Закон Пирса
• Теорема Стоуна о представлении булевых алгебр

Люди

• Буль, Джордж
• Де Морган, Август
• Джевонс, Уильям Стэнли
• Пирс, Чарльз Сандерс
• Стоун, Маршалл Харви
• Венн, Джон
• Жегалкин, Иван Иванович

Философия

• Силлогистика Буля
• Булева импликация
• Граф сущности
• Экзистенциальный граф
• Законы формы
• Логический граф

Визуализация

• Таблица истинности
• Карта Карно
• Диаграмма Венна

Несекретно

• Булева функция
• Булева функция
• Булева модель
• Проблема выполнимости булевых уравнений
• Булево дифференциальное исчисление
• Индикаторная функция (также называется характеристической функцией , но этот термин используется в теории вероятностей для другого понятия)
• Минимизатор эвристической логики Espresso
• Логическая матрица
• Логическое значение
• Двойственность камня
• Каменное пространство
• Топологическая булева алгебра