== Отношения ==*Определение отношения*Степень отношений*[[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]*#перенаправление [[Симметричное отношение]]*[[Антисимметричное отношение]]*[[Композиция отношений|Композиция отношений. Обратное отношение]]*[[Транзитивное отношение]]*[[Транзитивное замыкание|Транзитивное замыкание отношения]]*[[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]] == Булевы функции ==*[[Определение булевой функции]]*[[Примеры булевых функций|Примеры булевых функций: все функции от нуля, одной и двух переменных]]*Подстановка одной функции в другую, отождествление переменных*Представление функции формулойДискретная математика, полные системы функций *[[СДНФ]]*[[СКНФ]]*[[Полином Жегалкина]]*[[Теорема Поста о полной системе функций]]*[[Сокращенная и минимальная ДНФ]]*[[Минимизация ДНФ с помощью покрытий гиперкуба алгоритмы и карт Карноструктуры данных]]*[[Специальные формы КНФ|Специальные формы КНФКатегория: КНФ в форме Хорна Дискретная математика и КНФ в форме Крома]]*[[Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина]] == Схемы из функциональных элементов ==*[[Реализация булевой функции схемой из функциональных элементов]]*[[Изменение размера оптимальной схемы при переходе к другому базису]]*[[Каскадный сумматор]]*[[Двоичный каскадный сумматор]]*[[Дерево Уоллесаалгоритмы]]
