
- •Алгебра логики в задачах
- •Издательство «наука» главная редакция физико-математической литературы
- •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. Логика предикатов
- •Последовательность {ап} имеет конечный предел, если
В силу (2.6) имеем (xVy)(zV f)=(xV y)zV (xv y)t. В силу коммутативности конъюнкции можно вновь применить (2.6) к (xVy)z и (х Vy)t. В силу ассоциативности дизъюнкции в получившейся формуле скобки можно опустить.
Решение аналогично решению задачи 2.6, с той лишь разницей, что вместо распределительного закона ,(2-6) используется закон (2.7).
а) В силу (2.8) и (2.1) имеем 'xyVz=xyz={xvу)г.
Решение мальчика не выполнено, если он не закончил чтение книги или не сходил ни в музей, ни в кино, и, хотя была хорошая погода, он не купался.
Простые высказывания:
х: «Мальчик в воскресение закончил чтение книги», у: «Мальчик в воскресенье сходил в музей», г: «Мальчик в воскресенье сходил в кино», t: «Мальчик в воскресенье пошел выкупаться на реку», и: «Была хорошая погода».
Вся фраза имеет вид x(yV z){u^t). Отрицание ее имеет вид xVyzVut. Подставляя вместо переменных имеющиеся у нас простые высказывания, мы получаем приведенный выше ответ к задаче 2.10.
В примере 3) рассмотрим подалгебру из трех элементов:
менно мы показали, что в Сулевой алгеоре может &ыть элемент, совпадающий со своим отрицанием.
а) х\у отвечает ху; хАу отвечает xyVху (т. е. альтернативная
дизъюнкция хку—х~у (см. задачу 1.1)).
б) (*Аг/)Аг равно 1 тогда и только тогда, когда один и только один из аргументов х, у, г равен 1. Отсюда следует ассоциативность альтернативной дизъюнкции, а значит, и симметрической разности.
Импликации отвечает дополнение разности х\у до всего множества или объединение дополнения х (до всего множества) и подмножества у; эквивалентности — дополнение симметрической разности или объединение пересечений самих множеств (ху) и их дополнений Jxy); функциям Шеффера отвечает соответственно дополнение пересечения или объединение дополнений {ху—х V у) и дополнение объединения или пересечение дополнений (xvу—ху).
2-22. У алгебры, рассмотренной при решении задачи 2.19, нет ни одного гомоморфизма в алгебру {0, 1}, так как в последней хфх.
Каждому элементу т регулярной алгебры Щ} ставится в соответствие подмножество множества Л!(Щ1) ее гомоморфизмов в {0, 1}, при которых элемент т переходит в 1. Непосредственно проверяется,
■jto это — гомоморфизм в алгебру подмножеств множества Л1(9Л). Подалгебра, в которую ЯЛ переходит при этом гомоморфизме, изоморфна алгебре 9Л, так как различным элементам ЭЛ отвечают различные подмножества в силу существования разде гяюших гомоморфизмов в {0, 1}.
Достаточно показать, что для любого такого подмножества М' гомоморфизмов булевы операции те Hie, что и для Л1(901). Это следует из того, что значение любого гомоморфизма И(9Л) на произвольном элементе х £ЭЛ однозначно определяется значениями гомоморфизмов я|:£М' на этом элементе (этими значениями однозначно характеризуется сам элемент х, ср. решение задачи 2.25).
Достаточность условия следует из того, что функция хх тождественно равна нулю; поэтому все элементарные конъюнкции, а значит, и вся ДНФ равны тождественно нулю.
Докажем необходимость. Пусть*®1. . . я®"—элементарная конъюнкция, в которую никакая переменная не входит вместе со своим отрицанием. Тогда можно рассмотреть набор значений переменных (0! о;1),
ибо хотя среди переменных могут быть совпадающие, одна и та же переменная или всюду входит сама, или всюду стоит ее отрицание. На этом наборе рассматриваемая элементарная конъюнкция равна 1, а значит, и вся ДНФ равна 1 (так как если в дизъюнкции один член равен 1, то и вся дизъюнкция равна 1).
а) и г); в б) переменная хг входит один раз сама, другой раз под знаком отрицания; в в) переменная х2 входит трижды: два раза сама и один раз с отрицанием.
Первое решение. Полная правильная элементарная конъюнкция хj*. . . равна 1 на единственном наборе (оь . . ., оп). Дизъюнкция нескольких таких конъюнкций равна 1 на тех и только тех наборах (0! о,,), которые являются наборами показателей входящих в нее элементарных конъюнкций. Поэтому разложение (2.14) — единственно возможное, и разным СДНФ соответствуют разные функции.
Второе решение. Найдем число СДНФ от п i еременных хъ . . хп. Каким-либо образом занумеруем полные правильные элементарные конъюнкции х°1. . . х^п. Их будет столько, сколько имеется двоичных наборов из п элементов, т. е. 2п (задача 2.1). Каждой СДНФ от *!, . . хп можно следующим взаимно однозначным образом поставить в соответствие набор из 2П нулей и единиц, отличный от нулевого. На местах с номерами конъюнкций, входящих в СДНФ, поставим единицы, на остальных — нули. Нулевой набор при этом не получается, так как он соответствовал бы пустой СДНФ. Итак, различных СДНФ будет столько, сколько существует наборов длины 2п, отличных от нулевого, т. е. 22"—1.
Функций от хъ . . хп, отличных от тождественного нуля, также 22 —1, а так как каждая из этих функций может быть представлена СДНФ, то представление единственно. Это простое комбинаторное соображение можно продумать на следующей схеме. Имеется N ящиков и N шаров. В каждом ящике лежит по крайней мере один шар. Тогда в каждом ящике лежит в точности один шар. Доказательство этого утверждения совершенно очевидно. В нашем случае роль ящиков играют функции алгебры логики, роль шаров — СДНФ. Мы будем пользоваться этой идеей и в дальнейшем.
Для доказательства равносильности (2.16) нужно доказать совпадение значений левой и правой части при любой фиксации переменных х1г . . ., хп; у у, . . , ут. Вначале зафиксируем значения
Уъ ■ . У т.- Тогда совпадание значений при фиксации оставшихся переменных следует из равносильности (2.15).
Можно было бы также разложить f по всем переменным, а затем, используя дистрибутивный закон, произвести перегруппировку членов.
а) xyzvxyzVxyzvxyz;
б) xyzt\/xyztvxyztvxyztv xyztvxyzt Vxyzt Vxyzt.
a) xVy — ДНФ.
б) Применяя процедуру 1), получаем xz(xvy). Теперь, применяя равносильность (2.6), получаем:
xzxvxzy.
в) На первом шаге получаем (xvy)(xvy)zt. Теперь, применяя (2.6) и задачу 2.6, получаем:
xxzt V xyzt V ijxzt V yyzl.
а) В ДНФ x\/y все элементарные конъюнкции правильны, поэтому сразу применяем правило 5): х (yvy)vy(xvx). Далее получаем xyvxyvxyvxy. Теперь из двух одинаковых конъюнкций ху нужно оставить одну: xyvxyvxy.
б) Начинаем с правила 4): xzv хуг. Первая конъюнкция неправильна: хг (yvy)vxyz=xyzvxyz \/хуг. Эта формула является СДНФ.
в) По правилу 4) получаем ДНФ: xyztvxyzt. Эта формула уже является СДНФ.
г) xvyz = x (yVy) (z vz)v (xVx) yz = xyzV xyzvxyzVxyzVxyzV
xyz = xyz V xyz V xyz V xyz V xyz.
д) xyxzvxt — xt = x (yVy){z V z) t = xyzt vxyztVxyztVxy zt.
е) xyVyztVxyzt ==xy(zvz)(tvl)v(xvx)yztvxyzt — xyztVxyztV
xyz t V xyz t V xyzt v xyzt.
a) (xVyVz) (xVyVz) (xvyvz) (xvyVz).
(xvyvzvt)(xvyvzvj)(xvyvzvt)(xvyvZVT)(xV~yVZV~t) & & (xvyvzvt) {xvyvzvt) (xVyVzVt)-
1) Перейти к равносильной формуле, в которой имеются только операции дизъюнкции, конъюнкции и отрицания, причем отрицания стоят только над аргументами.
Преобразовать получившуюся формулу так, чтобы вначале выполнялись все дизъюнкции (использовать дистрибутивный закон (2 7) и задачу 2.7).
В результате мы получаем КНФ.
Если имеется несколько одинаковых элементарных дизъюнкций, то мы оставляем только одну.
В силу (2.11) мы получаем равносильную формулу.
Преобразуем все элементарные дизъюнкции в правильные следующим образом:
а) Удаляем элементарные дизъюнкции, в которые какая-либо переменная входит вместе со своим отрицанием.
б) Если в элементарную дизъюнкцию некоторая переменная входит несколько раз одинаковым образом (или во всех случаях с отрицанием, или во всех случаях без него), то мы оставляем только одно вхождение.
Мы используем в а) соотношение л: V л:= 1, в б) — соотношение (2.10)
Если в элементарную дизъюнкцию . . Vx^k не входит некоторая переменная у, то мы добавляем дизъюнктивно член уу: x“l' V. Vx%kVyy\ затем вновь применяем преобразование 2). Мы
воспользовались здесь тем, что уу= 0, и соотношением (2.13).