- •Введение
- •Дискретная математика
- •Бинарная операция ассоциативна, если тождественно выполняется: ;
- •4.Классы булевых функций :
- •X1 x2 X
- •5. Теория полноты
- •I этап :
- •3 Случай :
- •II этап :
- •1); 2); 3); 4).
- •1) ; 2); 3);
- •4) ; 5);
- •5.4. Полные системы в классах т0, т1, м, s, l.
- •5.5 Базисы в классах t0 , t1, s, m, l Все полные системы для классов t0, t1, s, m, l в утверждениях выше являются базисами для этих систем.
- •6 .Минимизация булевых функций
- •1 Этап:
- •2 Этап:
- •Достаточно ясна связь задачи нахождения тупиковых покрытий и минимизации функции покрытия.
- •7. Исчисления высказываний
- •8. Семь теорем
- •Доказательство полноты исчисления высказываний.
- •Представление графов
- •1. Задание графа с помощью матрицы смежности.
- •2. Задание графа с помощью матрицы инцидентности.
- •3. Задание графа с помощью списка смежности.
- •Связные графы
- •Алгоритмы нахождения компонент связности
- •1. Поиск в ширину
- •2. Поиск в глубину
- •Укладки графов
- •Теорема Эйлера
- •Критерий Понтрягина-Куратовского
- •Раскраски графов
- •Основные понятия комбинаторики.
- •1 1.2 Упорядоченные наборы элементов изn-данных
- •1.3 Неупорядоченные наборы элементов изданных без повторений.
- •1.4 Неупорядоченные наборы элементов изп данных с возможными повторениями.
- •2 Метод включения-исключения.
- •Упражнения.
- •3 Метод производящих функций
- •1324 0100.
- •4 Основы теории перечисления Пойа. Лемма Бернсайда.
- •Упражнения.
- •Глава. Основы схем из функциональных элементов.
- •1) Мультиплексор порядка
- •2) Дешифратор порядка .
- •3) Универсальный многополюсник.
- •Глава. Введение в теорию конечных автоматов.
- •Глава. Введение в теорию кодирования.
- •Теория кодирования.
5.5 Базисы в классах t0 , t1, s, m, l Все полные системы для классов t0, t1, s, m, l в утверждениях выше являются базисами для этих систем.
Доказательство:
- эта система полна в Т0 . Покажем, что любая собственная подсистема полной в Т0 не является. Рассмотрим . Т.к.,тогда, но функцияне является полной в классеТ0 .
Рассмотрим в силу того, чтоне является полной в классеТ0 . Таким образом все собственные подсистемы не полны в классе Т0, поэтому - базис вТ0 .
2) - эта система полна вТ1 . Покажем, что все собственные подсистемы не полны в Т1. Покажем, что не полна вТ1 , а именно . Для этого рассмотрим классК следующих функций: , если и только если для любых 2-х наборов значений переменных, на которых значение функции равно 0 существует переменная равная 0 в обоих наборах, причем наборы не обязательно различные:
Например
0 0 1 1 0 0
0 1 1 1 0 0
1 0 0
1 1 1 в обоих наборах.
Из определения следует, что на единичном наборе функция из К равна единице.
0 0 0
0 1 1
1 0 1 0 0 в обоих наборах
1 1 1 0 0
0 0 0
0 1 0 0 1
1 0 0 1 0
1 1 1
Утверждение:
Класс К замкнут относительно суперпозиции функций.
Доказательство: Пусть
Образуем их суперпозицию:
Пусть верно противное - суперпозиция , тогда существует пара наборов значений переменных
:
для любогои для любого
Обозначим
.
Тогда на обоих наборах значениеравно 0. В силу того, что, и т.к. в наборахнет переменной, равной нулю, такой переменной должна быть последняя переменная, т. е.. Но для наборовнет переменной, равной нулю в обоих наборах, следовательно получаем противоречие с тем, что. Утверждение доказано.
В силу того, что . Но.
Рассмотрим в силу того, что, имеем,. Таким образом все собственные подсистемы системыполными вТ1 не являются, и тогда является базисом вТ1 .
есть базис в S. Эта система полна в классе S. Покажем, что все собственные подсистемы данной системы в классе S полными не являются - эта функции у которых ровно одна существенная переменная, а функцияимеет три существенные переменные. Поэтому.
Рассмотрим функцию
, поэтому система - базис вS .
4) Покажем, что - базис вМ. Во-первых эта система полна в классе М . Покажем, что все собственные подсистемы не полные.
а функции дизъюнкции в замыкании нет поэтому система не полна в классеМ.
, а функции в замыкании нет, следовательно системане полна в классеМ следовательно начальная система есть базис в классе монотонных функций.
5) Система полна в классеL . Покажем, что все собственные подсистемы в классе линейных полными не являются:
следовательно начальная система является базисом в классе линейных функций.
Замечание
Вопросы о представлении функций в монотонном базисе потребуются в следующем разделе минимизации двоичных фукций.
Замечание
Пост нашел все замкнутые классы в классе двоичных функций и описал структуру их взаимных вложений.