Алгебраическая нормальная форма
Алгебраическая нормальная форма В булевой алгебре ANF, RSNF, NNF, Жегалкина и Рида-Мюллера — способы записи логических формул высказываний. ANF — […]
Вики
Булева алгебра
Вики
Каноническая нормальная форма
Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме (CDNF), minterm или сумме
Вики
Бент-функция
Изогнутая функция Изогнутые функции — редкие булевы функции многих переменных, имеющие различные виды. Исследования проводились для специальных классов изогнутых функций,
Вики
Закон поглощения
Закон поглощения Закон поглощения связывает пару бинарных операций в алгебре. Решетка — это алгебра, в которой обе операции являются коммутативными,
Вики
Ворота ИЛИ
ИЛИ ворота Элемент OR реализует логическую дизъюнкцию и выводит значение «true», если любой из входов равен «true». Элемент OR может
Вики
Функциональная полнота
Функциональная завершенность Функциональная полнота в логике означает, что набор логических операторов может выразить все другие логические операторы. Минимально функциональные полные
Вики
Полином Жегалкина
Многочлен Жегалкина Многочлен Жегалкина — алгебраическое представление булевой функции в виде полинома. Метод построения многочлена Жегалкина основан на таблице истинности
Вики
Побитовая операция
Побитовая операция Побитовые операции используются для работы с битами и манипулирования ими. В языках программирования существуют различные операторы для выполнения
Вики
Булева теорема о простых идеалах
Теорема о булевом простом идеале Теорема о булевом простом идеале утверждает, что в булевой алгебре существует достаточное количество простых идеалов.
Вики
Теорема Стоуна о представлении булевых алгебр
Теорема Стоуна о представлении для булевых алгебр Теорема Стоуна утверждает, что каждая булева алгебра изоморфна определенному полю множеств. Эта теорема
Вики
Решетка деления
Разделительная решетка Решетка деления — бесконечная полная ограниченная распределительная решетка с натуральными числами, упорядоченными по делимости. Наименьший элемент решетки равен
Вики
Каменный космос
Каменное пространство Пространство Стоуна — компактное, полностью несвязанное хаусдорфово пространство. Пространства Стоуна названы в честь Маршалла Харви Стоуна и связаны
Вики
Логическая матрица
Логическая матрица Логические матрицы используются в различных областях, включая теорию графов, разложение на квадратичные сита и проверку правил игры в
Вики
Функция четности
Функция четности Функция четности в булевой алгебре определяет значение единицы, если входной вектор содержит нечетное число единиц. Функция четности также
Вики
Включение (булева алгебра)
Включение (булева алгебра) Отношение включения в булевой алгебре определяется как a ≤ b и является логическим аналогом отношения подмножества в
Вики
Логическое кольцо
Логическое кольцо Булево кольцо R состоит только из идемпотентных элементов и порождает булеву алгебру. Каждая булева алгебра порождает булево кольцо.
Вики
Минимальные аксиомы булевой алгебры
Минимальные аксиомы для булевой алгебры Минимальные аксиомы для булевой алгебры эквивалентны аксиомам, выбранным как можно более краткими. Аксиома с шестью
Вики
Булева алгебра (структура)
Булева алгебра (структура) Булева алгебра — алгебра с двумя операциями: конъюнкция (∧) и дизъюнкция (∨). Основные аксиомы булевой алгебры включают
Вики
Союз (теория множеств)
Объединение (теория множеств) Объединение множеств является фундаментальной операцией, позволяющей связать множества друг с другом. Объединение двух множеств содержит элементы из
Вики
Таблица истинности
Таблица истинности Таблицы истинности используются для представления логических функций и операций. Таблицы истинности состоят из строк и столбцов, где каждая