Файл: Дискретная математика - учебное пособие.pdf

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
background image

221 

– функционально замкнутые 184 
КНФ 82 
Код весовой 177 
– невесовой 176 
Комбинаторика 26 
Коммутативность 14, 80 
Компонента графа 64 
Константы алгебры логики 78 
Контакт нормально замкну-
тый 145 
– разомкнутый 145 
Конъюнкция 79 
Кортеж 23 
Лес 72 
Линия уникурсальная 58 
Макстермы 94 
Маршрут в графе 61 
– вершинный 61 
– замкнутый 62 
– разомкнутый 62 
Матрица импликантная 107 
Метод Квайна 103 
– Петрика 106  
Минтермы 91 
Множество 9 
– пустое 10 
– универсальное 15 
Множества бесконечные 10 
– конечные 10 
– равные 11 
– эквивалентные 11 
Мощность множества 11 
Мультиграф 55 
Набор значений переменных 78 
– единичный 78 
– нулевой 78 

Надграф 56 
Нуль-граф 56 
Объединение множеств 13 
Операция И 79 
– ИЛИ 79 
– НЕ 80 
Остов графа 73 
Отрицание 80 
Переменные  
– высказывательные 78 
– двоичные 78 
– инверсные 81 
– прямые 81 
– фиктивные 86 
Пересечение множеств 14 
Перестановки без повторений 33 
– с повторениями 36 
Пересчёт 26 
Перечисление 26 
Петля 54 
Подграф 55 
Подмножества 12 
– несобственные 12 
– собственные 12 
Полином Жегалкина 132 
Порядок формулы 95 
Правило произведения 29 
– суммы 32 
Принадлежность множеству 9 
Принцип объёмности 11 
Произведение декартово 22 
– прямое 22 
Производная 137 
Псевдограф 55 
Размещения без повторений 38 
– с повторениями 41 


background image

222 

Разность множеств 16 
– симметрическая 17 
Расстояние в графе 62 
Регистр запоминающий 172 
– сдвиговый 209 
Реле 146–147 
Рёбра графа 54 
– кратные 54 
СДНФ 92 
Синглетон 10 
СКНФ 94 
Система счисления двоичная 77 
Сложение логическое 79 
– по модулю 2 132 
Смежность 57 
Сочетания без повторений 43 
– с повторениями 51 
Степень вершины 57 
– множества 23 
– связности 64 
Структуры инверсные 161 
– контактные 144 
– мостиковые 144 
– параллельно-последователь-
ные 144 
Сумма логическая 79 
– по модулю 2 132 
Суперпозиция 97 
Схема И 166 
– ИЛИ 168 
– комбинационная 173 
– НЕ 169–170 
Таблица истинности 88 
– переходов 200 
– соответствия 88 
Тавтологии 85 

Теорема Поста 191 
Теоремы де Моргана 16, 87 
– поглощения 86 
– склеивания 87 
Триггер бистабильный 171 
– типа D 206 
– типа JK 202 
– типа RS 171 
– синхронизируемый 172 
– типа T 195 
Тумблер 145 
– простейший 145 
– сдвоенный 145 
Умножение логическое 79 
Универсум 15 
Упрощение булевых формул 100 
Уровень напряжения  
– – высокий 165 
– – низкий 165 
Факториал 27 
Формула включений 
и исключений 32 
Формулы выполнимые 85 
– невыполнимые 85 
– общезначимые 85 
– противоречивые 85 
– тождественно истинные 85 
– – ложные 85 
Формы абсолютно минималь-
ные 97 
– высших порядков 96 
– дизъюнктивные 82 
– конъюнктивные 82 
– минимальные 97 
– нормальные 82 
– сокращённые 105 


background image

223 

– стандартные 92 
– тупиковые 106 
Функция булева 88 
– Вебба 96 
– выходная 194 
– линейная 184 
– монотонная 183 
– неполностью определённая 123 
– переходов 194 
– Пирса 96 
– полностью определенная 123 
– самодвойственная 186 
– симметрическая 141 
– сохраняющая единицу 188 
– – нуль 190 
– частичная 123 
– Шеффера 96 
Цепь в графе 61 
– замкнутая 62 
– простая 61 
– разомкнутая 62 
Цикл в графе 62 
– простой 62 
Число кардинальное 11 
– рабочее 142 
– цикломатическое 73 
Элемент логический 165