Булевы алгебры и булевы функции. Дополнительные главы дискретной математики. Учебное пособие

Цорна, 29

Произведение алгебр

Многообразие алгебр, 16

прямое, 14

арифметическое, 17

Разложение Шеннона, 44

дискриминаторное, 18

Ранг функции, 42

конгруэнц-дистрибутивное,

Расстояние Хэмминга, 41

17

Решетка, 9

Множество

Поста, 66

коконечное, 29

булева, 25

линейно упорядоченное

дистрибутивная, 10

(лум), 37

полная, 10

основное алгебраической

Сигнатура, 8

системы, 8

Система алгебраическая, 8

порождающее булеву

жесткая, 12

алгебру, 38

плоская, 11

решеточно упорядоченное,

простая, 14

10, 24

Системы алгебраические

частично упорядоченное

изоморфные, 11

(чум), 8

Совокупность функций полная,

Модель, 8

58

Монолит, 15

Совокупность функций

Отношение стабильное

предполная, 65

относительно функции,

Соответствие Галуа, 56

55

Терм

Подмножество

Пиксли, 17

регулярное замкнутое, 22

бесповоротный, 52

Подсистема алгебраической

Термы близкие, 52

системы, 10, 11

Тождество, 15

Полином Жегалкина, 60

Ультрафильтр, 31

Порядок

Фактор-система, 13

клона, 60

Фильтр

линейный плотный, 39

булевой алгебры, 28

на кортежах натуральный,

главный, 28

42

собственный, 29

Произвдедение алгебр

Форма дизъюнктивная

подпрямое, 15

нормальная, 44

совершенная, 44

дискриминаторная, 17

Форма конъюнктивная

допускающая декомпозицию,

нормальная, 44

46

совершенная, 44

линейная, 60

Функции

монотонная, 59

векторный способ задания,

неразделимая, 49

43

нормальной трансформации,

матричный способ задания,

18

43

остаточная, 42

неоднотипные, 50

разделимая, 49

однотипные, 50

самодвойственная, 59

эквивалентные, 43

сохраняющая 0, 59

Функция

сохраняющая 1, 59

-функция, 50

сохраняющая отношения, 55

двойственная, 45

существенная, 42

декомпозиции внешняя, 46

Цепь, 29

декомпозиции внутренняя,

Элемент покрывающий, 39

46

Ядро гомоморфизма, 12