Изменения

Перейти к: навигация, поиск

Дискретная математика:Тикеты

584 байта добавлено, 23:35, 28 февраля 2017
Булевы функции
== Булевы функции ==
*#[[Определение булевой функции]]0,5*## Добавить интервики на термины монотонности, линейности, сохранения <tex>0</tex> и <tex>1</tex>, самодвойственности для булевой функции. (все определения [[Полные_системы_функций._Теорема_Поста_о_полной_системе_функций|здесь]])#[[Побитовые операции]]<tex>^\star</tex>*#[[Суперпозиции]]0,25## См. также*#[[ДНФ]]*#[[Сокращенная и минимальная ДНФ | Сокращенная и минимальная ДНФ, минимизация ДНФ методами гиперкубов, карт Карно, Квайна]]*#[[КНФ]]0,25## См. также*#[[2-SAT]]*#[[XOR-SAT]]<tex>^\star</tex>*#[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]*#[[Полином Жегалкина | Полином Жегалкина, преобразование Мёбиуса]]0,25*## См. также #[[Полные системы функций. Теорема Поста о полной системе функций]] 0,25## См. также*#[[Представление функции класса DM с помощью медианы]]*## См. также#[[Пороговая функция]]*## См. также#[[Троичная логика]]<tex>^\star</tex>0,25## Английский термин
== Схемы из функциональных элементов ==

Навигация