#Булева алгебраБулева алгебраИсследуйте Области знанийУ нас представлены тысячи статейТегБулева алгебраБулева алгебраНайденo 7 статейНаучные методы исследованияНаучные методы исследования Метод вынужденияМе́тод вынужде́ния, особый способ доказательства существования моделей аксиоматических теорий, предложенный П. Коэном в 1963 г. для доказательства совместимости отрицания континуум-гипотезы и других теоретико-множественных предложений с аксиомами системы Цермело – Френкеля . В дальнейшем метод вынуждения был упрощён и модернизирован; выявилась, в частности, связь этого метода с теорией булевозначных моделей и моделями Крипке. Центральным понятием метода вынуждения является отношение вынужденияТермины Решётка СтоунаРешётка Сто́уна, дистрибутивная решётка с псевдодополнениями (см. в статье Решётка с дополнениями), в которой для всех . Дистрибутивная решётка с псевдодополнениями является решёткой Стоуна тогда и только тогда, когда теоретико-структурное объединение двух её различных минимальных простых идеалов совпадает с (теорема Гретцера – Шмидта, Grätzer. 1957).Термины Предполный класс булевых функцийПредпо́лный класс бу́левых фу́нкций, набор функций из такой, что при замыкании объединения этого набора и любой функции из , не лежащей в нём, получают всё . Иными словами, объединение данного класса с функцией , в нём не лежащей, даёт полный класс, или, что то же самое, полную систему, т. е. . Предполные классы булевых функций называют также классами Поста.Научные законы, утверждения, уравнения Критерий полноты ПостаКрите́рий полноты́ По́ста, теорема о функциональной полноте системы (конечной или бесконечной) функций из , одна из важнейших теорем в теории функций алгебры логики и дискретной математике в целом. Впервые сформулирован Э. Л. Постом, доказан С. В. Яблонским.Термины Стрелка ПирсаСтре́лка Пи́рса, двуместная логическая операция, обычно обозначаемая и задаваемая следующей истинностной таблицей: Таким образом, высказывание означает «ни , ни ». Стрелка Пирса обладает тем свойством, что через неё выражаются все другие логические операции.Термины Алгебра ЖегалкинаА́лгебра Жега́лкина, специальная алгебра , где – операция умножения. Интерес представляет клон действия на .Термины Булева функцияБу́лева фу́нкция, функция, аргументы которой, равно как и сама функция, принимают значения из двухэлементного множества (обычно из множества {}). Булевы функции являются объектами дискретной математики, особенно часто они используются в математической логике, математической кибернетике и в технике. Булевы функции возникли в середине 19 в. в математических задачах логики и были названы по имени Дж. Буля.
