
- •Алгебра логики в задачах
- •Издательство «наука» главная редакция физико-математической литературы
- •17071, Москва, в-71, Ленинский проспект, 15
- •Оглавление
- •Предисловие
- •Путеводитель и указания к пользованию книгой
- •§ 1. Операции над высказываниями
- •Ответы и указания к задачам § 1
- •Нужио лишь вспомнить определения необходимых и достаточ ных условий, после чего утверждение превращается в тавтологию.
- •16 Операций; каждая операция задается своей истинностной таблицей, так что задача заключается в том, чтобы найти число всех различных таблиц.
- •Решение непосредственно следует из определения фиктивного вхождения (задача 1.10) и определения равносильности формул.
- •Достаточно выразить конъюнкцию и отрицание или дизъюнкцию ц отрицание.
- •§ 2. Функции алгебры логики; нормальные формы
- •Функции алгебры логики; равносильность функций.
- •Булевы алгебры.
- •, (2 9) Для перенесения отрицаний (ср. Задачу 2.8).
- •Ответы и указания к задачам § 2
- •2.36. Элементарная дизъюнкция (правильная) X°‘V. . .V*”" равна
- •Можно выбирать произвольно значения функции на всех наборах, кроме нулевого, т. Е. На (2"—1) наборах. Такой выбор осуществляется 22"-1 способами.
- •Рассмотрим для примера равносильности (2.3) и (2.7).
- •Решение аналогично решению задачи 2.6, с той лишь разницей, что вместо распределительного закона ,(2-6) используется закон (2.7).
- •Решение мальчика не выполнено, если он не закончил чтение книги или не сходил ни в музей, ни в кино, и, хотя была хорошая погода, он не купался.
- •Простые высказывания:
- •В примере 3) рассмотрим подалгебру из трех элементов:
- •Вновь применяем преобразование 3).
- •§3. Закон двойственности в алгебре логики
- •§ 4. Арифметические операции в алгебре логики
- •Ответы и указания к задачам § 4
- •Ответы и решения к задачам § 4
- •Общий вид нелинейной функции от двух переменных:
- •§5. Монотонные функции алгебры логики
- •Ответы и решения к задачам § 5
- •§ 6. Функционально замкнутые классы и теорема поста
- •§7. Общая теория функционально
- •§8. Схемы из функциональных элементов
- •§ 9. Релейно-контактные схемы. Оценки сложности схем
- •Реализация линейных функций контактными схемами.
- •Ответы и решения к задачам § 9
- •§ 10. Элементы вероятностной логики
- •Ответы и указания к задачам § 10
- •§ II. Многозначные логики
- •10, Если хфЬ.
- •§ 12. Логика предикатов
- •Последовательность {ап} имеет конечный предел, если
Ответы и решения к задачам § 5
Функция f(x,, . . ., хп) является немонотонной, если'существует такая пара наборов а и р, что а р и '
/ (cti, ... § <хп) > / (Рх, , Рп).
а) Будут, так как для любых наборов /(а) = ЯР).
б) ху монотонна, так как оиа равна 1 лишь на наборе (1, 1), которому предшествуют все остальные наборы;
XVу также монотонна, так как она равна 0 лишь на наборе (0, 0), который предшествует всем остальным наборам,
х немонотонна,так как при а = (0), Р=(1) имеема-ф, но a>-f;
х-*у немонотонна: пусть а=(0, 0), Р=(1, 0), а-<Р; тогда (0—>0)—
1 > (1 —>0)=0;
х~у немонотонна, что ясно из рассмотрения наборов а=(0, 0),
Р=(>. 0)
Рассмотрим два случая.
а) Пусть свободный член равен 1 и линейная функция содержит хотя бы одну существенную переменную. Тогда из сопоставления нулевого
набора и набора, содержащего ровно одну единицу на месте, соответствующем существенной переменной, следует немонотонность функции. Остается лишь случай константы 1.
б) Если свободный член равен 0 и линейная функция содержит, по крайней мере, два существенных аргумента, то немонотонность следует из рассмотрения набора, заметающего единицей только эти два аргумента, и набора, замещающего единицей только какой-то из них. Остаются функции 0 и х.
Поскольку нулевой набор младше остальных, из равенства на нем монотонной функции единице следует ее тождественное равенство единице (на остальных наборах она не может быть меньше). Аналогично рассматривается двойственный случай.
Если исключить случай констант, то монотонная функция f(x, у) равна 0 на нулевом наборе и 1 на единичном. Два других набора (О, 1) и (1,0) следуют за нулевым, предшествуют единичному, а между собой несравнимы. Поэтому на них можно задавать любые значения функции, не нарушая монотонности. Всего задавать эти значения можно четырьмя способами, так что можно указать четыре монотонные функции от двух переменных, не являющиеся константами: х, у, ху и XVу.
а) Упростим формулу: xyVxzVxz=xyV г. Эта функция равна нулю на наборах (0, 0, 0), (0, 1, 0), (1, 0, 0). Все оставшиеся наборы, исключая (0, 0, 1), содержат ие менее двух единиц, а значит, они могут быть только больше. Набор (0, 0, 1)>-(0, 0, 0), а с остальными двумя он не сравним. Значит, рассматриваемая функция монотонна.
б) Функция немонотонна; сравнить значения функции на наборах (0, 0) —<(1, 0).
в) Сравнивая значения на наборах (0,0)-<(1, 0), получаем, что функция немонотонна.
г) xvy~xy — тождестве ная единица, так как xVy=xy.
д) xyV xv xz=x\г— монотонная функция (задача 5.2).
е) Функция монотонна, так как она равна нулю на наборах, содержащих менее двух единиц, а остальные наборы могут быть только больше.
Пусть имеется система монотонных функций®. Нужно доказать монотонность функций, являющихся суперпозициями функций из Ф.
Для суперпозиций ранга нуль, т. е. для функций из Ф, это утверждение согласно условию верно. Пусть оно доказано для суперпозиций ранга к. Докажем его справедливость для суперпозиций ранга k-\ 1. Пусть <р(хъ . . ., дг„), 1]'(й, ■ • {^)€®(fr)- Надо показать (см. определение 2.3), что функции
ф (*1, .... *,-1. У, *,+1. •••. *а);
F(xt, *,•+!, уг у,) =
= ф(*1, ф({/! у,), Xi + 1, ...,Хп)
монотонны. Напомним, что у, yt могут, в частности, совпадать с какими- то из переменных Xj. Монотонность первой из функций следует из монотонности ф по определению. Докажем монотонность F. Рассмотрим два сравнимых набора значений ее аргументов:
V —(at> a,-+i' —• Pi> ■•■> Р/)> у"=(а" а;_г. а;+1 <>£ р; Р").
Пусть Покажем, что F(y')<F(y"). Имеем:
F (у') = <р (6'), где 6'.=aJ при / ф i, 6|'=ф(Р');
^(у") = ф(6"), где 6'/ = а/ при j Ф i, 6/=ф(Р").
Поскольку Ф — монотонная функция, а из у’-<у" следует Р'=^Р”, имеем 6'=^6", т. е. ф(б')=^(у')<ф(^”)=^(Т”)> так какФ—монотонная функция. Поскольку в одном из двух указанных видов представляется любая функция из Ф^+ч, доказательство окончено.
Б.8. Отрицание х — монотонно убывающая функция. Ее суперпозиция с собой х—х монотонно возрастает.
Б.9. Достаточность уже доказана; необходимость будем .доказывать индукцией по числу переменных. Можно начинать с п= О, когда имеются лишь константы; для п= 1 добавляется еще x=x\jx. Пусть доказываемое утверждение справедливо для монотонных функций от (п—1) переменных. Докажем его для функций от п переменных. Пусть f(xlt . . ., xn-lt хп) — монотонная функция от п переменных. Разложим ее в СДНФ по последней переменной:
/(*!, .... Хп-1г Х„) = ср(х1, .... Х„-!)Х„ V ..., Хп-х) Хт
где
ф (Л-li • • ■ I %п — l) ~ / (Л-1» • • • » Л-п — 1» l)t Ф (%lt • • •» %п — l) =
= / (Л-1» •••» Л-п — 1» 0).
Функции ф и ф монотонны, так как они являются суперпозициями монотонной функции f и констант, являющихся монотонными функциями (см. задачу 5.7). Покажем, что имеет место представление:
/(*1 *«-1. *п)=ф(*1. Xn-l)Xn V ф(*1 *„_!). (5.1)
Нужно доказать равносильность
хп<р V хпф = x„q> V ф.
Сравним множество наборов, на которых обращаются в нуль левая и правая части. Если на некотором наборе а=(а1, . . ап_ь ап) обратилась в нуль правая часть, тоапф(оо1(. . ., а„_!)=0 и я|(аь . . ,,ал_1)=0; значит, и апф(<Хх, . . .,an_1)=0, т. е. и левая часть равна нулю. Пусть
теперь на наборе а=(а1 «п -i> ап) равна нулю левая часть. Тогда
arMai> ■ ■ •> an-1)==0. Далее, f(at поэтомуф(а1, . . .
■ • •. «n-i)=/(«i «п-ь 0)==0, так как (at an)^=(a1, . . .
.. ., a,,-!, 0). В результате правая ч^сть равна нулю и представление
для монотонных функций доказано.
Докажем теперь представимость f в виде суперпозиции дизъюнкций и конъюнкций, предполагая, что f не является константой. Предположим сначала, что ф и ф тоже не являются константами. Тогда, поскольку они монотонны и зависят от (п—1) переменных, по предположению индукции их можно считать суперпозициями дизъюнкций и конъюнкций. Из (5.1) следует, что тогда этим же свойством обладает и функция f.
Теперь рассмотрим случаи, когда одна или обе функции ф и ф являются константами. Заметим, что
ФС*!, ..., (хх xn-j).
Поэтому, если ф — тождественный нуль, тоф и / — тождественные нули; 76 если ф=1 1), то f= 1. Если ф=0, а ф=1, то хп)=хп. Если же
ф=0, а ф(л:1 xn-i) не является константой, илиф=1, a 4Jj(jc1p . . .
хп-1) не является константой, то из предположения индукции и
немедленно следует доказываемый результат.
Мы советуем читателю провести доказательство, используя двойственные формулы. В частности, доказать равносильность, двойственную (5.1):
/(* 1 *в-1. *„) = №(*! *„-!) V xn-l)< (5.2)
где /— монотонная функция, a . . ., xn-1)=f(x1 х„-ь 0),
ф (ху xrl-i)=f(xi, . . ., 1). Равенство (5.2) стоит доказать как
непосредственно, так и вывести из (5.1) при помощи закона двойственности.
Воспользуемся второй идеей, упомянутой в указании. Поскольку константы двойственны друг другу, можно ограничиться случаем монотонной функции, отличной от константы. В силу задачи 5.9 ее можно представить в виде суперпозиции конъюнкций и дизъюнкций. Для получения двойственной функции по закону двойственности нужно заменить конъюнкции дизъюнкциями и наоборот, а значит, в силу задачи 5.7 вновь получится монотонная функция.
Возьмем две равносильные правильные ДНФ. Докажем, что они совпадают. Пусть х^. . . xljc— любая элементарная конъюнкция, входящая в первую ДНФ. Достаточно доказать, что она входит во вторую. Подставим вместо всех переменных, кроме входящих в эту конъюнкцию, нули. Тогда все конъюнкции в обеих ДНФ, имеющие не меньшую степень, чем выбранная, обратятся в нуль, так как в них обязательно найдутся переменные, не входящие в эту конъюнкцию. В первой ДНФ обратятся в нуль и все остальные конъюнкции, так как иначе они поглощались бы выбранной конъюнкцией (согласно в) определения 5.3). Если бы во второй ДНФ не было конъюнкции X. . х1к, то все оставшиеся после подстановки члены имелн бы меньшую степень и поглощались бы ей. Возьмем какую-нибудь из этих конъюнкций и подставим вместо входящих в нее переменных единицы, а вместо остальных переменных нули. Тогда первая ДНФ обратится в нуль, а вторая будет равняться единице.
В правильную КНФ входят различные правильные дизъюнкции, не поглощающие друг друга.
Пусть f(xlt . . ., хп) — немонотонная функция и наборы а= =(«i anKP=(Pi Рп) таковы, что
/К, ап) > / (Pi Рп)
т. е.
/(«!, ...,а„) = 1; /(Pi, Р„) = 0.
Разобьем переменные х1г . . ., хп на три группы. В первую включим такие переменные Х[, что «(=0, Р*=1; во вторую — такие х:, чтоаг*=Р(= =0; в третью — такие xt, что аг=Рг=1. Поскольку а-^р, то не может быть, чтобы аг= 1, Рг=0. Отождествим переменные внутри каждой из этих групп (подставим вместо них переменные у1г у2, у а соответственно). Получим немонотонную функцию от трех переменных q> (уи у2, Уз)- Ф (0. 0, 1)=1; ф(1. 0, 1)=0.
Дальнейшее уменьшение числа переменных может быть невозможно, как показывает пример немонотонной функции от трех переменных х-\-у-\-г. Любое отождествление переменных приводит к функции от одной переменной, совпадающей с аргументом (например, х), которая монотонна.
Пусть у нас имеется, например, константа 0. Сделаем в ср(уъ у2, ув) подстановку у2— 0. Получим немонотонную функцию от двух переменных. Число переменных, вообще говоря, нельзя уменьшить, как показывает пример функции х-\-у.
Аналогично рассматривается случай константы 1. В этом случае нельзя уменьшить число переменных у функции х-\-у-\-\.
Подставим у2—0, у3= 1 в аргументы функции ф((/ь у2, уа), введенной при решении задачи 5.14. Получится уг.