Главная страница Случайная страница Разделы сайта АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Теорема Поста о полноте ⇐ ПредыдущаяСтр 5 из 5
Перейдем к рассмотрению одного из основных вопросов алгебры логики – вопроса о необходимых и достаточных условиях полноты. Пусть – произвольная система функций из . Спрашивается, как выяснить, будет она полной или нет? Ответ на этот вопрос дает следующая теорема. Теорема Поста. Для того чтобы система функций была полной, необходимо и достаточно, чтобы она целиком не содержалась ни в одном из пяти замкнутых классов . Доказательство. Необходимость. Пусть – полна, то есть . Допустим, что содержится в одном из указанных классов – обозначим его через , то есть . Тогда в силу свойств замыкания и замкнутости имеем . Отсюда , что не так. Необходимость доказана. Достаточность. Пусть целиком не содержится ни в одном из указанных классов. Тогда из можно выделить подсистему , содержащую не более пяти функций, которая обладает этим свойством. Для этого возьмем в функции , , , , и положим . Для доказательства достаточности убедимся, что из функций можно построить отрицание и конъюнкцию. Доказательство проведем в два этапа. I. Построение при помощи функций , , и констант и отрицания. Рассмотрим функции и . Построим функции одного аргумента: и . При сделанных предположениях , . В зависимости от того, какие значения имеют и , возможны четыре варианта. 1) , . В этом случае , . В результате суперпозиции получаем константу 1: . Таким образом, отрицание и константы построены. 2) , . В этом случае , . Строим , и первый этап закончен. 3) , . Имеем . Воспользуемся функцией . Для этой функции найдется пара противоположных наборов и , на которых принимает одно и то же значение, так как . Рассмотрим функцию , в которой на место -го аргумента ставится , если , или , если . Тогда . Отсюда следует, что . С помощью отрицания построим другую константу. 4) , . Следовательно, , . Воспользуемся немонотонной функцией . По лемме 4 из путем подстановки констант можно получить отрицание. II. Покажем, что из функций можно построить конъюнкцию. При этом будем использовать построенные на первом этапе константы и отрицание. Воспользуемся нелинейной функцией . Подставим в нее константы и построим нелинейную функцию от двух аргументов, что возможно по лемме 6: . Рассмотрим функцию . Для построения функции нужно только отрицание, поскольку прибавление двоичной константы либо ничего не изменяет, если она равна 0, либо меняет переменную на ее отрицание. Например, при , , . В общем случае Раскрыв скобки, убеждаемся, что . Таким образом, конъюнкция построена из функций системы . Теорема доказана. Для проверки полноты конкретной системы функций удобно заполнять таблицу, в которой отмечается 1 или 0 вхождение или невхождение функции в классы , , , и . Например, для системы функций , где , , имеем следующую таблицу: Таблица 2
Пример. Импликация имеет следующую таблицу истинности:
Из таблицы следует, что не сохраняет 0, несамодвойственна, немонотонна. Кроме того, , так как . Добавляя к любую функцию, не сохраняющую 1, получим полную систему. Рассмотрим, например, систему , где . Построим отрицание и конъюнкцию: , при и имеем ; . Таким образом, для любой функции можно написать формулу, в которую будут входить только импликации и нули. Например, .
|