с г. гиндикин

АЛГЕБРА ЛОГИКИ

■

с. г. гиндикин

Алгебра логики в задачах

¹ *- - i ■ • . J

АЛГЕБРА ЛОГИКИ В ЗАДАЧАХ 2

¹ *- - i ■ • . J 2

,т:т-1 ! 3

&(л;ул_аул₃) 26

f (-^i» •••> х_п, у ₁, ..., у_т) — 47

(о, о_п) 47

2 Ж/. ... x_lk + a, 65

ф (*1, .... *,-1. У, *,+1. •••. *а); 75

П „ 88

1Л A I \Х\> X-— 91

П 1 133

Ь„ 181

Q, 197

ТТТ 197

,т:т-1 !

Издательство «наука» главная редакция физико-математической литературы

МОСКВА 1972

517.1 Г 49

УДК 512.8

Семен Григорьевич Гиндикин

Алгебра логики в задачах

М., 1972 г., 288 стр. с илл.

Редакторы Ю. А. Гастев, В. В. Донченко

Техн. редактор В. Н. Кондакова

Корректоры 8. В. Автонеево,^. JJ. Медведская

Сдано ь набор 28/ХII 1971 г. Подписано к печати 10/V 1972 г. Бмяага 84ХЮ8¹/_вг. Фнз, печ. л. 9 Условн. печ. л. 15,12*Уч.*нзд. _л. 17,72. Тираж 50 ООО экз. Т-09026. Цена книги 76 коп. Заказ № 2625.

Издательство «Наука»

Главная редакция физико-математической литературы

1. 17071, Москва, в-71, Ленинский проспект, 15

Ордена Трудового Красного Знамени Первая Образцовая типография имени А. А. Жданова Главполнграфпрома Комитета по печати при Совете Министров СССР Москва, М-54, Валовая, 28

2-2-3

6-72

Оглавление

Предисловие	4
Путеводитель и указания к пользованию
книгой	7
	Задачи	Отесты	Ответы
	и	указания	и решения
§ 1. Операции над высказываниями	13	27	28
§ 2. Функции алгебры логики; нормаль­
ные формы .	31	51	53
§ 3. Закон двойственности в алгебре ло­
гики	58	61	61
§ 4. Арифметические операции в алгебре
логики	64	66	67
§ 5. Монотонные функции алгебры логи­
ки	71	74	74
§ 6. Функционально замкнутые классы
и теорема Поста	79	85	86
§ 7. Общая теория функционально замк­
нутых классов . . .	92	104	108
§ 8. Схемы из функциональных элементов	118	139	141
§ 9. Релейно контактные схемы. Оценки
сложности схем ...... . . .	151	172	176
§ 10. Элементы вероятностной логики	195	226	230
§11. Многозначные логики ......	245	254	255
§ 12. Логика предикатов	258	270	272
	279
Литература	282
	285