- •Алгебра логики в задачах
- •Издательство «наука» главная редакция физико-математической литературы
- •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
Число наборов р(п)= 2".
Это число равно числу двоичных наборов длины 2п, т. е. 2а".
22,‘-1
Определить функцию / индукцией по рангу суперпозиции /.
Для доказательства достаточно доказать совпадение истинностных таблиц для формул, стоящих в левой и правой частях. Однако нет необходимости в составлении полных истинностных таблиц. Достаточно проверить совпадение множеств наборов, на которых эти формулы равны
(или 0).
Воспользоваться (2.6) и (2.2).
Воспользоваться (2.7) и (2.4).
Воспользоваться равносильностями (2.8), (2.9).
(xVy)z; б) х (ху\! у V г Vy (tVz)).
А В = АВ. Воспользоваться задачей 1.13: А ->■ B — TivB и равносильностями (2.8) и (2.1).
Выделить простые высказывания и записать это высказывание в виде формулы алгебры логики, после чего построить отрицание на основе равносильностей (2.8) и (2.9).
Можно воспользоваться известными свойствами общих делителей и кратных или вывести эти свойства непосредственно. Можно также следующим образом свести эту задачу к предыдущей.
Пусть M = pf'p2г ... Pkk—разложение числа N на простые множители, А; > 0, l«Ci«C/:. Всякий делитель х числа N имеет вид х — р*' ... рхкк, где СК;*,-</!,•. Для каждого i^к
рассмотрим булеву алгебру 9(/ натуральных чисел 0 Арас
смотренную в примере 3). Легко видеть, что если над делителями Х—Р\1Р12 ••• PkU> y — PV\lf^i PVk производится одна из определенных нами операций (х, ху, x\jу), то над соответствующими показателями xi, У[ производится та же операция в булевой алгебре 91/, 1 <~i<k. Отсюда сразу следует, что условия (2.1)—(2.13) для множества 9Пдг делителей N выполнены и ЭПдг— булева алгебра.
Мы показали здесь, что булева алгебра ЭПдг и з о м о р фн а прямому произведению булевых алгебр 9ti (см. определение 2.6). Если имеется несколько булевых алгебр $Rlf ... , 9?*, то их прямым произведением называется множество 9?*=9?iX... Х9?*, элементами которого являются наборы (х,, ... , хк) по одному элементу из каждой булевой алгебры fit,-, причем действия над наборами осуществляются поэлементно:
(Xi, ..., х/г) = (.х1> • ••»
(Xi, ..., Xfi) (у 1, . .., yk)—(Xiyi, .... Xfcyfa)',
(xv хк)\/(уг, yk) = (x1Vyl ХкУук).
Наборы из соответствующих выделенных элементов (0,. . . ,0), (1 1)
являются выделенными элементами в 91. Очевидно, что в результате множество 91 превращается в булеву алгебру.
Имеем
х — х, ху =ху, xvt/ = XVу , х, у£Ш\.м.
Каждому делителю числа N ставится в соответствие множество его простых делителей.
Воспользоваться аксиомой (2.1) и законами де Моргана
, (2.9).
Рассмотреть булеву алгебру из примера 3) или какую-либо ее подалгебру.
Можно, например, составить истинностные таблицы.
Воспользоваться задачей 2.19.
В одном случае достаточно рассмотреть для каждой ситуации гомоморфизм, ставящий в соответствие высказыванию значение истинности в этой ситуации (высказывания, которые не разделяются, по определению тождественны). Во втором случае каждому элементу т£М ставится в соответствии гомоморфизм: х =j> 1, если т принадлежит подмножеству, * => 0 — в противном случае.
Рассмотреть ограничения гомоморфизмов алгебры на ее подалгебру.
1) Взять СДНФ в общем виде и найти наборы, на которых она равна 1.
Хотя указанная выше идея очень проста, мы советуем читателю обдумать еще и другой путь решения задачи. Найти общее число различных СДНФ от п переменных и сравнить это число с числом функций от п переменных. Такого рода «мощностные» рассмотрения часто бывают полезны.
Воспользоваться равносильностью (2.15).
