Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
[УЧЕБНИК] Гиндикин Алгебра логики и задачи.doc
Скачиваний:
2
Добавлен:
01.04.2025
Размер:
2.82 Mб
Скачать

Ответы и указания к задачам § 2

  1. Число наборов р(п)= 2".

  2. Это число равно числу двоичных наборов длины 2п, т. е. 2а".

  3. 22,-1

  4. Определить функцию / индукцией по рангу суперпозиции /.

  5. Для доказательства достаточно доказать совпадение истинност­ных таблиц для формул, стоящих в левой и правой частях. Однако нет необходимости в составлении полных истинностных таблиц. Достаточно проверить совпадение множеств наборов, на которых эти формулы равны

  1. (или 0).

  1. Воспользоваться (2.6) и (2.2).

  2. Воспользоваться (2.7) и (2.4).

  3. Воспользоваться равносильностями (2.8), (2.9).

  1. (xVy)z; б) х (ху\! у V г Vy (tVz)).

  1. А В = АВ. Воспользоваться задачей 1.13: А ->■ BTivB и равносильностями (2.8) и (2.1).

  1. Выделить простые высказывания и записать это высказывание в виде формулы алгебры логики, после чего построить отрицание на основе равносильностей (2.8) и (2.9).

  1. Можно воспользоваться известными свойствами общих дели­телей и кратных или вывести эти свойства непосредственно. Можно также следующим образом свести эту задачу к предыдущей.

Пусть M = pf'p2г ... Pkk—разложение числа N на простые множители, А; > 0, l«Ci«C/:. Всякий делитель х числа N имеет вид х — р*' ... рхкк, где СК;*,-</!,•. Для каждого i

рассмотрим булеву алгебру 9(/ натуральных чисел 0 Арас­

смотренную в примере 3). Легко видеть, что если над делителями Х—Р\1Р12 ••• PkU> yPV\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 превращается в булеву алгебру.

  1. Имеем

х х, ху =ху, xvt/ = XVу , х, у£Ш\.м.

  1. Каждому делителю числа N ставится в соответствие множество его простых делителей.

  2. Воспользоваться аксиомой (2.1) и законами де Моргана

  1. , (2.9).

  1. Рассмотреть булеву алгебру из примера 3) или какую-либо ее подалгебру.

  2. Можно, например, составить истинностные таблицы.

  1. Воспользоваться задачей 2.19.

  2. В одном случае достаточно рассмотреть для каждой ситуации гомоморфизм, ставящий в соответствие высказыванию значение истин­ности в этой ситуации (высказывания, которые не разделяются, по опре­делению тождественны). Во втором случае каждому элементу т£М ста­вится в соответствии гомоморфизм: х =j> 1, если т принадлежит подмно­жеству, * => 0 — в противном случае.

  3. Рассмотреть ограничения гомоморфизмов алгебры на ее под­алгебру.

  1. 1) Взять СДНФ в общем виде и найти наборы, на которых она равна 1.

  1. Хотя указанная выше идея очень проста, мы советуем читателю обдумать еще и другой путь решения задачи. Найти общее число различ­ных СДНФ от п переменных и сравнить это число с числом функций от п переменных. Такого рода «мощностные» рассмотрения часто бывают полезны.

    1. Воспользоваться равносильностью (2.15).