- •2.Высказывания.Операции над высказываниями.
- •3. Тождественно истинные и тождественно ложные высказывания. Равносильные высказывания.
- •4.Суперпозиция функций. Бинарные отношения. Свойства бинарных отношений
- •5.Отношение порядка. Отношение эквивалентн. Бинарные опер.
- •6. Алгебры. Алгебра Кантора и булева алгебра. Изоморфизм. Операции над двоичными числами.
- •7. Булевы функции. Мощность множества булевых функций от переменных.
- •8. Элементарные булевы функции.
- •9. Формулы. Основные эквивалентности формул.
- •Порядок действий в формулах алгебры логики
- •10. Принцип двойственности. Двойственные булевы функции.
- •11.Теорема о разложении
- •12. Совершенные дизъюнктивные нормальные формы.
- •25. Перестановки с повторениями
- •26. Полиномиальная теорема. Принцип Дирихле.
- •27.Рекуррентные соотношения и производящие функции.
- •28. Принцип включения и исключения:
- •30. Схемы правильных рассуждений. Аксиоматические теории
- •32. Минимальные , кратчайшие и тупиковые днф.
- •33. Сокращённые днф. Построение сокращённых днф булевых функций методом Блейка.Пример.
- •34. Построение сокращённых днф булевых функций методом Квайна.Пример.
- •35.Построение Сокращенных днф геометрическим методом. Пример.
- •36. Построение минимальных днф с помощью карт Карно.
- •37. Метод Нельсона. (Построение сокращенной днф с помощью кнф).
- •38.Построение всех тупиковых днф. Алгоритм минимизации функций в классе нормальных форм.
- •39. Понятие о функциях k-значной логики. Их особенности.
- •40.Графы. Изоморфизм графов.
- •41.Способы задания графов.
- •42. Действия над графами.
- •43. Ориентированные и неориентированные графы.
- •44.Маршруты. Пути. Цепи. Связные графы.
- •45. Геометрическая реализации графа. Теорема о реализации конечного графа в трёхмерном пространстве.
- •46.Эйлеровы циклы. Задача о кенигсбергских мостах. Теорема Эйлера.
- •47.Обобщенная теорема об эйлеровых цепях.
- •48. Гамильтоновы графы. Задача о коммивояжере.
- •49. Взвешенный граф. Граф-дерево.
- •50. Цикломатическое число. Остов графа. Базис циклов.
- •51. Двудольные графы.
- •52. Планарные графы. Критерий планарности.
- •53. Теорема Куратовского-Понтрягина. Граф Петерсена.
- •54.Двухполюсные сети. Параллельно-последовательные сети. Поток в сети.
- •55.Теорема Форда-Фалкерсона о максимальном потоке. Расчет максимального потока в сети.
- •56.Общие принципы помехоустойчивого кодирования. Примеры.
- •57.Типы ошибок. Сжатие информации.
- •58.Код Хэмминга.
- •59.Троичный код Хэмминга. Пример.
- •60.Алфавитное кодирование.
- •61. Алгоритм Фано.Пример
- •62. Алгоритм кодирования Хаффмена.Пример
- •63. Формальные грамматики. Основные понятия.
- •64. Классификация языков по Хомскому
- •65. Типы языков. Вывод цепочек. Дерево вывода
- •66.Конечные автоматы. Автоматы Мили и Мура. Канонические уравнения
- •67.Таблица состояний, диаграмма состояний автомата.
- •68.Дешифратор.
- •69.Реализация автоматов схемами.
- •70. Ограниченно детерминированные функции. Информационные деревья.
- •71. Понятие алгоритма. Основные свойства алгоритмов. Вычислимость.
- •72. Рекурсивные функции. Операторы суперпозиции и примитивной рекурсии.
- •73. Примитивно рекурсивные предикаты. Свойства.
- •74. Классы рекурсивных функций. (п.Р., о.Р., ч.Р.). Тезис Черча.
- •75. Машины Тьюринга. Принципы работы. Протокол работы.
- •76.Машины Тьюринга. Примеры. Функции, вычислимые по Тьюрингу.
35.Построение Сокращенных днф геометрическим методом. Пример.
Установим геометрический смысл простой склейки с точки зрения "геометрии" булева куба. Простая склейка может быть применена только к таким двум элементарным конъюнкциям Ka и Kb, соответствующим наборам переменных a и b, что для некоторого i
a = (a1, a2,..., a i – 1, a i, a i + 1, …, an),
b = (a1, a2,…, a i – 1, ¬a i, a i + 1, …, an).
Это значит, что наборы a и b таковы, что один из них доминирует над другим (они различаются значением только одной компоненты, значит a ≤ b или b ≤ a), т.е. они образуют ребро булева куба Вn. Следовательно, простой склейке, применяемой к элементарным конъюнкциям исходной СДНФ, представляющей функцию, подлежат те и только те элементарные конъюнкции, которые соответствуют элементам какого-либо ребра булева куба, на котором функция принимает единичное значение. Образно говоря, две соседние вершины куба, на которых функция равна 1, "склеиваются" в ребро, их "соединяющее".
Пример:
F(x,y,z)=(01101110)
|
x |
y |
z |
F |
|
0 |
0 |
0 |
0 |
|
0 |
0 |
1 |
1 |
|
0 |
1 |
0 |
1 |
|
0 |
1 |
1 |
0 |
|
1 |
0 |
0 |
1 |
|
1 |
0 |
1 |
1 |
|
1 |
1 |
0 |
1 |
|
1 |
1 |
1 |
0 |
(Нарисовать куб)
Nf={(001),(010),(100),(101),(110)}
ДНФ= ⌐x⌐yz˅⌐xy⌐z˅x⌐y⌐z˅x⌐yz˅xy⌐z
СДНФ=x⌐z˅⌐yz˅⌐xy⌐z
36. Построение минимальных днф с помощью карт Карно.
Метод минимизаций карт Карно:
Применяется для построения СДНФ функций четырех переменных.
В этом методе для
функции f(
4)
составляется таблица размером 4*4 каждая
клетка которой соответствует вершине
четырехмерного куба, причем соответствия
зад. Таким образом, что если склеить
карту по вертикали и горизонтали, то
соседние карты клетки будут соответствовать
соседним вершинам куба.
Клетка в таблице соответствующая вершинам куба в котором функция принимает значение 1 ставят Ӿ.
Гранью называют множество Ӿ карты соответствующей какой-либо грани четырехмерного куба.
Мощность грани – количество Ӿ.
Максимальной гранью для каждой Ӿ будем считать грань с наибольшей мощностью.
Полезной мощностью будем называть множество еще непокрытых Ӿ данной грани (0,1,2,…,m)(m-максимальная мощность грани)
Пример:f(
4)=(0010101001010111)
|
|
|
|
Ӿ |
|
Ӿ |
|
|
Ӿ |
|
|
Ӿ |
Ӿ |
Ӿ |
|
|
Ӿ |
Ӿ |
|
|
Ӿ |
Ӿ |
|
Ӿ |
|
Ӿ |
Ӿ |
|
Ӿ |
|
|
|
|
|
|
Ӿ |
Ӿ |
Ӿ |
|
37. Метод Нельсона. (Построение сокращенной днф с помощью кнф).
Суть метода: в КНФ раскрываются скобки и удаляются дублирующие члены, затем удаляем те дизъюнктивные слагаемые, которые содержат одновременно и переменную и ее отрицание. В полученном выражении удаляют все нулевые диз. слагаемые, проводят все поглощения и удаляют дублирующие члены. A˅A*B=A (поглощение)
Пример:
(
)(
)
Найдем СДНФ:
=
Произведем поглощения :
- СДНФ
38.Построение всех тупиковых днф. Алгоритм минимизации функций в классе нормальных форм.
Пусть f(x1, …, xn) – булева функция
1)находим табл. Значения функции f(x1, …, xn)=(101…01)
2)по табличным значения строим СДНФ функции f
3)строим СДНФ f=K1Ú K2Ú …Ú Km где Ki -простые импликанты
4)строим матрицу покрытий простых импликант функции f
5)для каждого
столбца 1 ≤ j
≤ k
находим множество Ej
номеров
строк для которых aj
= 1 составляем
множество
=(
,
,
… ,
),
где
импликанты соответствующие значение
1. Получаем выражениеA=
назыв. Решеточным покрытием ДНФ ф-цииf.
Удаляем все дублирующеюся символы
получаем ТДНФ.
