Проблема логической выполнимости
Проблема логической выполнимости Проблема логической выполнимости (SAT) – определение, существует ли интерпретация, удовлетворяющая данной логической формуле. SAT – первая NP-полная […]
Вики
Boolean algebra
Вики
Джордж Буль
Джордж Буль Джордж Буль – английский математик и логик, основатель математической логики и теории вероятностей. Он разработал алгебру логики, которая
Вики
Логический тип данных
Логический тип данных Boolean – тип данных, имеющий два возможных значения (true и false) для представления истинности в логике и
Вики
Логический домен
Логический домен Логическая область – множество, состоящее из двух элементов: ложь и истина. В логике, математике и информатике логическая область
Вики
Алгебраическая нормальная форма
Алгебраическая нормальная форма В булевой алгебре ANF, RSNF, NNF, Жегалкина и Рида-Мюллера – способы записи логических формул высказываний. ANF –
Вики
Каноническая нормальная форма
Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме (CDNF), minterm или сумме
Вики
Бент-функция
Изогнутая функция Изогнутые функции – редкие булевы функции многих переменных, имеющие различные виды. Исследования проводились для специальных классов изогнутых функций,
Вики
Закон поглощения
Закон поглощения Закон поглощения связывает пару бинарных операций в алгебре. Решетка – это алгебра, в которой обе операции являются коммутативными,
Вики
Ворота ИЛИ
ИЛИ ворота Элемент OR реализует логическую дизъюнкцию и выводит значение “true”, если любой из входов равен “true”. Элемент OR может
Вики
Функциональная полнота
Функциональная завершенность Функциональная полнота в логике означает, что набор логических операторов может выразить все другие логические операторы. Минимально функциональные полные
Вики
Полином Жегалкина
Многочлен Жегалкина Многочлен Жегалкина – алгебраическое представление булевой функции в виде полинома. Метод построения многочлена Жегалкина основан на таблице истинности
Вики
Двухэлементная булева алгебра
Двухэлементная булева алгебра Булева алгебра – это алгебра, основанная на логике высказываний. Булева алгебра имеет две основные операции: “+” и
Вики
Побитовая операция
Побитовая операция Побитовые операции используются для работы с битами и манипулирования ими. В языках программирования существуют различные операторы для выполнения
Вики
Булева теорема о простых идеалах
Теорема о булевом простом идеале Теорема о булевом простом идеале утверждает, что в булевой алгебре существует достаточное количество простых идеалов.
Вики
Теорема Стоуна о представлении булевых алгебр
Теорема Стоуна о представлении для булевых алгебр Теорема Стоуна утверждает, что каждая булева алгебра изоморфна определенному полю множеств. Эта теорема
Вики
Каменный космос
Каменное пространство Пространство Стоуна – компактное, полностью несвязанное хаусдорфово пространство. Пространства Стоуна названы в честь Маршалла Харви Стоуна и связаны
Вики
Логическая матрица
Логическая матрица Логические матрицы используются в различных областях, включая теорию графов, разложение на квадратичные сита и проверку правил игры в
Вики
Функция четности
Функция четности Функция четности в булевой алгебре определяет значение единицы, если входной вектор содержит нечетное число единиц. Функция четности также
Вики
Логическое кольцо
Логическое кольцо Булево кольцо R состоит только из идемпотентных элементов и порождает булеву алгебру. Каждая булева алгебра порождает булево кольцо.
Вики
Логическая функция
Логически значимая функция Булева функция – это функция типа f : X → B, где X – произвольное множество, а