Список тем по булевой алгебре - List of Boolean algebra topics

Это список тем вокруг Булева алгебра и логика высказываний.

Статьи с широким охватом и введениями

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

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

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

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

• Логический домен
• Полная булева алгебра
• Внутренняя алгебра
• Двухэлементная булева алгебра

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

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

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

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

Синтаксис

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

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

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

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

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

Люди

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

Философия

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

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

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

Неклассифицированный

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