- •Раздел 1. Алгебраические структуры Тема 1.1. Бинарные операции и их свойства
- •Тема 1.2. Алгебраические структуры
- •Тема 1.3. Основные свойства групп
- •Тема 1.4. Поля и кольца
- •Раздел 2. Алгебра множеств Тема 2.1. Основные определения теории множеств
- •Тема 2.2. Подмножество, понятие универсального множества
- •Тема 2.3. Операции над множествами
- •Раздел 3. Основные теоремы комбинаторики
- •Тема 3.1. Метод математической индукции
- •Тема 3.2. Основные принципы комбинаторики
- •Раздел 4. Комбинаторные объекты Тема 4.1. Сочетания
- •Тема 4.2. Размещения и перестановки
- •Раздел 5. Полиномиальные тождества Тема 5.1. Бином Ньютона
- •Тема 5.2. Понятие о методе рекуррентных соотношений
- •Тема 5.3. Метод производящих функций
- •Тема 5.4. Метод траекторий
- •Тема 5.5. Примеры комбинаторных задач
- •Раздел 6. Соответствие, отношение, отображение Тема 6.1. Понятие кортежа. Декартово произведение множеств
- •Тема 6.2. Определения и свойства
- •Тема 6.3. Типы отношений
- •Пересечение и объединение отношений
- •Композиция отображений и отношений
- •Тема 6.5. Решётки
- •Тема 6.4. Верхняя и нижняя границы множества.
- •Раздел 7. Операции булевой алгебры Тема 7.1.Понятие высказывания, простые и составные высказывания
- •Тема 7.2.Операции на множестве высказываний
- •Отрицание
- •Конъюнкция
- •Дизъюнкция
- •«Исключающее или»
- •Импликация
- •Эквивалентность
- •Штрих Шеффера
- •Раздел 8. Законы и тождества Булевой алгебры Тема 8.1.Формулы Булевой алгебры
- •Тема 8.2.Законы и тождества Булевой алгебры
- •Тема 8.3.Составление формулы по заданной таблице истинности
- •Тема 8.4. Двойственность
- •Тема 8.5.Булева алгебра и теория множеств
- •Тема 8.6.Днф, интервалы и покрытия
- •Раздел 9. Функциональная полнота. Алгебра Жегалкина
- •Тема 9.1.Функционально полные системы
- •Тема 9.2.Алгебра Жегалкина и линейные функции
- •Тема 9.3.Замкнутые классы. Монотонные функции
- •Тема 9.4.Теоремы о функциональной полноте
- •Раздел 10. Хорновские формулы
- •Тема 10.1.Задача получения продукции
- •Тема 10.2.Решение задачи о продукции
- •Алгоритм замыкание(X,f)
- •Алгоритм ПрямаяВолна(X,y,f)
- •Алгоритм БыстроеЗамыкание(X,f)
- •Раздел 11. Теория релейно-контактных схем Тема 11.1.Основные понятия
- •Тема 11.2.Основные задачи теории релейно-контактных схем
- •Тема 11.3.Построение машины голосования
- •Тема 11.4.Двоичный сумматор
- •Тема 11.5.Методы упрощения логических выражений. Методы решения логических задач
- •Раздел 12. Логика предикатов Тема 12.1.Определение предиката
- •Тема 12.2.Логические операции над предикатами
- •Тема 12.3.Кванторы
- •Тема 12.4. Истинные формулы и эквивалентные соотношения
- •Тема 12.5.Доказательства в логике предикатов
- •Раздел 13. Теория графов
- •Тема 13.1.Основные определения теории графов
- •Тема 13.2. Способы задания графов
- •Тема 13.3. Отношения порядка и эквивалентности на графе
- •Тема 13.4. Числовые характеристики графа
- •Тема 13.5.Изоморфизм графов
- •Раздел 14. Проблемы достижимости на графах Тема 14.1.Граф достижимости
- •Тема 14.2.Взаимная достижимость, компоненты сильной связности и базы графа
- •Раздел 15. Некоторые классы графов Тема 15.1.Деревья
- •Тема 15.2. Обход графа
- •Тема 15.3. Расстояния. Диаметр, радиус и центр графа. Протяжённости.
- •Раздел 16. Машина Тьюринга
- •Тема 16.1. Формальное описание машины Тьюринга
- •Тема 16.2. Примеры построения машины Тьюринга
- •Тема 16.3. Свойства машины Тьюринга как алгоритма
- •Раздел 17. Машина Поста
- •Тема 17.1. Теоретическая часть. Состав машины Поста
- •Тема 17.2. Применимость программ. Определение результата выполнения программ
- •Раздел 18. Основные понятия теории автоматов Тема 18.1. Общие подходы к описанию устройств, предназначенных для обработки дискретной информации
- •Тема 18.2. Способы задания конечного автомата
- •Тема 18.3. Эквивалентные автоматы
- •Тема 18.4. Автоматы Мура и Мили
- •Тема 18.5. Примеры синтеза автоматов
Эквивалентность
Определение:Эквивалентностьистинна только тогда, когда значения операндов совпадают. Ниже приведена таблица истинности операции эквивалентности.
-
0
0
1
0
1
0
1
0
0
1
1
1
Эту операцию ещё иногда называют логическим равенством.
В математических терминах эта операция интерпретируется в качестве фраз «тогда и только тогда», «необходимо и достаточно». Такая форма тоже очень часто используется в формулировке теорем. Эквивалентность представляется в виде:
Т.е. из следует, и изследует.
Пример 7.9:Признак сходимости бесконечного ряда. Ряд сходится тогда и только тогда
Свойства «эквивалентности»:
Упражнение:покажите неидемподентность, коммутативность, неассоциативность операции «эквивалентности»
Штрих Шеффера
Эта операция обозначается знаком / и определяет несовместимость высказываний.
Определение:Штрих Шеффераложен тогда и только тогда, когда оба операнда истинны. Выражениечитается так: «инесовместны». Приведём таблицу истинности этой операции.
-
0
0
1
0
1
1
1
0
1
1
1
0
Пример 7.10:«» и «» несовместны – это истинное высказывание, а «» и «» несовместны – это ложное высказывание, т.к. вот эти то высказывания как раз совместны.
Через базовые операции Штрих Шеффера выражается так:
Поэтому эту операцию ещё часто называют антиконъюктивной.
Эта операция интересна тем, что используя её одну, можно выразить все остальные связки (операции) логики высказываний. Шеффер показал это, и используя эту единственную, связку построил свое исчисление высказываний. Покажем некоторые формулы перехода в это исчисление.
Упражнение:Выразите через Штрих Шеффера оставшиеся логические операции (дизъюнкцию, импликацию, эквивалентность, исключающее или).
Упражнение:Выпишите свойства операции Штрих Шеффера.
Ограничимся этим набором логических операций. Существует всего 16 двуместных операций. Выпишем их:
А |
В |
0 |
А&В |
АВ |
В А |
АВ |
А В |
А В |
АВ |
В |
В А |
А |
АВ |
А/В |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
Все эти функции называют элементарными. Символы операций часто называют логическими связками.
Теорема:При любом фиксированном упорядочении наборов переменных логическая функция переменных полностью определена вектор - столбцом своих значений, т.е. вектором длины .
Доказательство:
Значение первой переменной можно выбрать из множества {0, 1} т.е. двумя способами. Независимо от значения первой переменной значение второй переменной также выбирается из множества {0, 1} т.е. двумя способами. Следовательно, можно породить различных набора из возможных значений двух переменных.
Независимо от выбранного набора первых двух переменных значение третьей переменной выбирается двумя способами. Следовательно, породить различных набора из возможных значений трёх переменных. Рассуждения аналогичны для любого. Следователь, существуетразличных бинарных векторов длины.
Теорема.Число всех различных - местных булевых функций равно
Доказательство:
Согласно предыдущей теореме, значение - местной двоичной функции – есть двоичный вектор длины. Каждый элемент данного вектора, независимо от значений других элементов может принимать одно из двух значений из множества {0, 1}. Следовательно, различных двоичных векторов длины–.
Пример 7.11:в котором появляются булевы функции.
Составным элементом нервной системы является нейрон. Эти клетки не пропускают слабые возбуждения и передают достаточно регулярные и сильные.
Одна из моделей нейрона. Нейрон имеетвходов, по которым в некоторый момент временимогут поступать или не поступать возбуждения. Если в моментболеевходов возбуждены, на выход нейрона поступает возбуждение, в противном случае оно не поступает. Обозначим входы нейрона. Будем говорить, что входпринимает значение 0 в момент, если он не возбужден в этот момент, и значение 1, есливозбужден в момент. Состояние выходаоднозначно определяется соотношением входов и числом.
Будем считать, что , если среди значенийболееравняется 1;
, если среди значенийне болееравняется 1.
Для имеем таблицу истинности.
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
Теперь приведём несколько парадоксальных примеров, и подчеркнём, что истинность или ложность сложного высказывания зависит только от истинности или ложности элементарных высказываний, входящих в него.
Пример 7.12:«Если треугольник имеет четыре стороны, то 2+2 = 4». Такое высказывание в обыденной речи будет встречено с лёгким недоумением, но вы должны хорошо понимать, что это пример операции импликации. По определению, из ложной посылки «Если треугольник имеет четыре стороны», может следовать какое угодно заключение, и сложное высказывание будет истинным.
Поскольку любое истинное высказывание ничем не отличается от другого истинного высказывания, т.к. никаких других свойств высказываний математическая логика не рассматривает, то все истинные высказывания между собой эквивалентны. Это в равной мере относится и ко всем ложным высказываниям.
Рассматривая с такой точки зрения любые два истинных высказывания, например «Дважды два четыре» и «Наполеон умер 5 мая 1821 года», равно как и любые два ложных высказывания вроде «Дважды два пять» и «Снег чёрен», трактуются как эквивалентные друг другу.