Вычислительная техника и информационные технологии Рекомендуемая литература

1. Угрюмов Е. Цифровая схемотехника. – С-Петербург, изд-во «БХВ-Петербург», 2002.

2. Уэйкерли Дж.Ф. Проектирование цифровых устройств, т.1, 2 / Пер. с англ. – М.: ПОСТМАРКЕТ, 2002.

3. Солонина А., Улахович Д., Яковлев Л. Алгоритмы и процессоры цифровой обработки сигналов. - С-Петербург, изд-во «БХВ-Петербург», 2001.

.

5. Вычислительные системы, сети и телекоммуникации: Учебник. – 2-е изд., перераб. И доп. / А.П. Пятибратов, Л.П. Гудыно, А.А. Кириченко; Под ред. А.П. Пятибратова – М.: Финансы и статистика, 2004.

6. Основы современных компьютерных технологий: Учебник / Под ред. проф. А.Д. Хомоненко. – СПб.: КОРОНА принт, 2005.

7. Цифровые устройства и микропроцессоры. Учебное пособие – Д.А.Безуглов, И.В. Калиенко. –Ростов-на-Дону, Феникс -2006г.

Логические основы вычислительной техники .1. Понятие функции алгебры логики

Функция, однозначно определяющая соответствие каждой из всех возможных совокупностей значений аргументов нулю или единице, называется функцией алгебры логики (ФАЛ).

Логические переменные – как функция, так и аргументы, могут принимать только два значения. Обычно их обозначают символами 0 и 1.

Для технической реализации ФАЛ используют электрические схемы, называемые логическими элементами.

Закон функционирования ЛЭ представляют в виде таблицы истинности

1.2. Основные законы и тождества алгебры логики

Тождества:

х  х = х, х  = 1, х  1 = 1, х  0 = х,

х  х = х, х  = 0, х  1 = х, х  0 = 0,

х  х = 0, х  = 1, х  1 = , х  0 = х.

Законы:

• двойной инверсии – = а;

• сочетательный – a(bс) = (аb)с, а(bс) = (аb)с,

а  (b  с) = (а  b)  с;

• поглощения – а  ас = а, a(ac) = a;

• склеивания – а  ac = a, (a )(ac) = a.

Все указанные законы и тождества справедливы для любого числа аргументов, причем аргументом может быть как простая переменная, так и функция.

Законы и тождества алгебры логики используются для преобразования ФАЛ в процессе синтеза цифровых устройств. В частности, целью преобразования может быть упрощение ФАЛ:

у = = а = а  = а  b  с.

Кроме того, в тождествах отражены правила замены логических элементов одного типа логическими элементами другого типа.

Таблица истинности основных Булевых функций

№С	b	а	не а	V	^	I
0	0	0	1	0	0	1	1	0
2	1	0	1	1	0	1	0	1
1	0	1	0	1	0	1	0	1
3	1	1	0	1	1	0	0	0
			не	или	и	Штрих Шеффера	Стрелка Пирса	Сложение по М2