Mat_Logika_Algebra_i_ischislenie_vyskazyvany

	111
ЛИТЕРАТУРА	42
ПРИЛОЖЕНИЯ	43

Приложение 1. Контрольные задания для построения таблиц истинности и

нормальных форм

44

Приложение 2. Программный модуль в математическом пакете «Maple 6» для проверки правильности найденных таблиц истинности и нормальных

форм		47
Приложение 3.	Контрольные задания по аксиоматическим теориям и
переключательным схемам		92
Приложение 4.	Пример решения вариантов контрольных заданий по
аксиоматическим теориям и переключательным схемам		104
Приложение 5.	F1 к аксиоматическим теориям	108

Нырков Анатолий Павлович Нырков Андрей Анатольевич Соколов Сергей Сергеевич

АЛГЕБРА И ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Учебное пособие

Лицензия ЛР № 020593 от 07.08.97

Налоговая льгота –Общероссийский классификатор продукции ОК 005–93, т. 2; 95 3005 – учебная литература

Подписано в печать	.2008. Формат 60х84 /16. Печать цифровая.
Усл. печ. л.	. Уч.-изд. л.	. Тираж 100 . Заказ	.

Отпечатано с готового оригинал–макета, предоставленного авторами,

в Цифровом типографском центре Издательства Политехнического университета. 195251, Санкт-Петербург, Политехническая ул., 29.

Тел.: [phone] Тел./факс: [phone]