- •История логики
- •Предыстория логики
- •Логика в древнегреческой философии До Платона
- •Логика Платона
- •Логика Аристотеля
- •Логика стоиков
- •Логика в странах Востока Логика в Индии
- •Логика в Китае
- •Современная логика
- •Логика высказываний
- •]Основные понятия
- •Правила построения формул логики высказываний
- •Соглашения о скобках
- •Истинностное значение
- •Тождественно истинные формулы (тавтологии)
- •Исчисление высказываний
- •Логическая операция
- •Формальная логика
- •Математическая логика
- •Отрицание
- •Схемотехника
- •Конъюнкция
- •Булева алгебра
- •Многозначная логика
- •Классическая логика
- •Схемотехника
- •Дизъюнкция
- •Булева алгебра
- •Многозначная логика
- •Классическая логика
- •Схемотехника
- •Импликация
- •Булева логика
- •Классическая логика
- •Штрих Шеффера
- •Стрелка Пирса
- •Полином Жегалкина
- •Предпосылки
- •Cуществование и единственность представления (теорема Жегалкина)
- •Представление функции в виде полинома Жегалкина с помощью эквивалентных преобразований днф
- •С помощью эквивалентных преобразований сднф
- •Логика высказываний
- •Основные понятия
- •Правила построения формул логики высказываний
- •Соглашения о скобках
- •Истинностное значение
- •Тождественно истинные формулы (тавтологии)
- •Исчисление высказываний
- •Алгебра логики
- •Определение
- •Аксиомы
- •Логические операции
- •Свойства логических операций
- •История
- •Метод равносильных преобразований
- •Метод диаграмм Вейча.
- •Алгоритм построения таблицы истинности
- •Элементарная дизъюнкция
- •Элементарная конъюнкция
- •§ 1. Понятие формулы исчисления высказываний.
- •Исчисление высказываний
- •1.2.3.1 Правила подстановки
- •1.2.3.2. Правила введения и удаления логических связок
- •2.1 Алгебра предикатов
- •3 Законы алгебры предикатов
- •Квантор
- •Примеры
- •Введение в понятие
- •Кванторы в математической логике
- •Вложенные кванторы Свободные и связанные переменные
- •Операции над кванторами
- •Ограниченные кванторы История появления
- •Теория алгоритмов
- •Возникновение теории алгоритмов
- •Модели вычислений
- •Тезис Чёрча — Тьюринга и алгоритмически неразрешимые проблемы
- •Современное состояние теории алгоритмов
- •Анализ трудоёмкости алгоритмов
- •Классы сложности
- •Машина Тьюринга
- •Устройство машины Тьюринга
- •Описание машины Тьюринга
- •Пример машины Тьюринга
- •Полнота по Тьюрингу
- •Варианты машины Тьюринга
- •Машина Тьюринга, работающая на полубесконечной ленте
Предпосылки
По теореме Поста, чтобы система булевых функций была полной, надо, чтобы в ней существовали:
Хотя бы одна функция, не сохраняющая 0.
Хотя бы одна функция, не сохраняющая 1.
Хотя бы одна нелинейная функция.
Хотя бы одна немонотонная функция.
Хотя бы одна несамодвойственная функция.
Этому требованию отвечает система функций . На её основе и строятся полиномы Жегалкина.
Cуществование и единственность представления (теорема Жегалкина)
По теореме Жегалкина каждая булева функция единственным образом представляется в виде полинома Жегалкина. Теорема доказывается следующим образом. Заметим, что различных булевых функций от n переменных штук. При этом конъюнкций вида существует ровно 2n, так как из n возможных сомножителей каждый или входит в конъюнкцию, или нет. В полиноме у каждой такой конъюнкции стоит 0 или 1, то есть существует различных полиномов Жегалкина от n переменных. Теперь достаточно лишь доказать, что различные полиномы реализуют различные функции. Предположим противное. Тогда приравняв два различных полинома и перенеся один из них в другую часть равенства, получим полином, тождественно равный нулю и имеющий ненулевые коэффициенты. Тогда рассмотрим слагаемое с единичным коэффициентом наименьшей длины, то есть с наименьшим числом переменных, входящих в него (любой один, если таких несколько). Подставив единицы на места этих переменных, и нули на места остальных, получим, что на этом наборе только одно это слагаемое принимает единичное значение, то есть нулевая функция на одном из наборов принимает значение 1. Противоречие. Значит, каждая булева функция реализуется полиномом Жегалкина единственным образом.
Представление функции в виде полинома Жегалкина с помощью эквивалентных преобразований днф
По сравнению с ДНФ в полиноме Жегалкина отсутствуют операции ИЛИ и НЕ. Таким образом, полином Жегалкина можно получить из ДНФ, выразив операции ИЛИ и НЕ через операции Исключающее ИЛИ, И и константу 1. Для этого применяются следующие соотношения:
Ниже приведён пример преобразования ДНФ в полином Жегалкина:
При преобразованиях использованы соотношения:
С помощью эквивалентных преобразований сднф
СДНФ обладает тем свойством, что при любых значениях входных переменных в единицу обращается не более одного члена выражения. Для таких выражений операция дизъюнкции эквивалентна операции исключающее ИЛИ.
При преобразовании СДНФ в полином Жегалкина, достаточно заменить все дизъюнкции на операции исключающее ИЛИ и избавиться от инверсий при помощи эквивалентного преобразования
5
Равносильные высказывания. Основные логические тождества |
||||||||||||||||||||
|
||||||||||||||||||||
Определение 1 |
||||||||||||||||||||
Высказывания и называются равносильными (или просто равными), если для любых наборов имеет место равенство:
Обозначим . Другими словами, два высказывания равны, если у них совпадают таблицы истинности. |
||||||||||||||||||||
Примеры |
||||||||||||||||||||
1) . |
||||||||||||||||||||
Доказательство |
||||||||||||||||||||
2) . |
||||||||||||||||||||
Доказательство |
||||||||||||||||||||
3) . |