Функционально полные системы логических функций. Алгебраический подход

Автор работы: Пользователь скрыл имя, 10 Декабря 2010 в 15:52, реферат

Описание работы

Основная функционально полная система логических функций. Наибольшее распространение получил набор, в состав которого входят три логические функции:
f10 – инверсия (логическая связь НЕ, логическое отрицание);
f1 - конъюнкция (логическая связь И, логическое умножение),
f7 – дизъюнкция (логическая связь ИЛИ, логическое сложение).

Файлы: 1 файл

Документ Microsoft Office Word (5).docx

— 200.57 Кб (Скачать файл)

     сдвиговый  регистр - предназначен для выполнения  операции сдвига;

     счетчики - схемы, способные считать поступающие  на вход импульсы. К ним относятся  Т-триггеры (название от англ. tumble - опрокидываться). Этот триггер имеет один счетный вход и два выхода. Под действием сигналов триггер меняет свое состояние с нулевого на единичное и наоборот. Число перебрасываний соответствует числу поступивших сигналов;

     счетчик  команд - регистр устройства управления  процессора (УУ), содержимое которого  соответствует адресу очередной  выполняемой команды; служит для  автоматической выборки программы  из последовательных ячеек памяти;

     регистр  команд - регистр УУ для хранения  кода команды на период времени,  необходимый для ее выполнения. Часть его разрядов используется  для хранения кода операции, остальные  - для хранения кодов адресов  операндов.

     Техническая  сторона логики компьютера основана  на технологии транзистора, что  позволяет получать одну из  двух возможных единиц информации (0 и 1), оперируя с передачей  или отсутствием передачи тока. На следующем уровне вступает  система носителей (переносчиков) информации - это нули и единицы  (0 и 1), которые отражают в себе  реальную информацию путем применения, как систем счисления, так и  системы команд микропроцессора.

     Логика  микропроцессора (МП). МП имеет  (может иметь) встроенную логику, основанную на формальной логике  человека.

                                                         27

 Таким образом,  имеется возможность обрабатывать  информацию. Так, например, получая  группу информационных потоков  (два потока), МП может, используя  формальную логику, выдать один  искомый поток.

     Логика  операционной системы. Хотя технически  возможна работа на компьютере  без использования операционной  системы (ОС), так как в ПЗУ  находятся (могут находиться) для  этого специальные программы,  целесообразность использования  ОС никем не подвергается сомнению. ОС представляет собой программу  (группу программ), которая обеспечивает  полный системный интерфейс компьютера.

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

     Проиллюстрируем  уровни логики ЭВМ. Получив  на два регистра по единице  и команду реализовать функцию  AND, МП, применив заложенную в нем  формальную логику, выдает на  результирующий регистр единицу.  Эта единица некоторым образом  интерпретируется операционной  системой, например, как истинность  выполненной операции, а затем  передается (может передаваться) прикладной  программе, которая в свою очередь  так же интерпретирует полученную  информацию и производит в  соответствии с этим некоторые  действия. 
 
 
 
 
 
 
 
 
 
 

                                                        28 

                                     ЛИТЕРАТУРА  

1. Белоусов А.И., Ткачев С.Б. Дискретная математика: Учебник для ВУЗов / Под ред. В.С. Зарубина, А.П. Крищенко.- М.: изд-во МГТУ им. Н.Э. Баумана, 2001.. (Сер. Математика в техническом университете; Вып XIX).

2. Горбатов В.А.  Фундаментальные основы дискретной  математики. Информационная математика.- М.: Наука, Физматлит, 2000.- ISBN 5-02-015238-2.

3. Петрова В.Т.  Лекции по алгебре и геометрии.  Учебник для ВУЗов: в 2 ч.- М.: Гуманит. изд. центр ВЛАДОС.- ч. 1 – 312 с., ч. 2 – . ISBN 5-691-00077-2. ISBN 5-691-00238-4 (I), ISBN 5-691-00239-2 (II).

4. Зарубин В.С.  Математическое моделирование в  технике: Учеб. для ВУЗов / Под ред. В.С. Зарубина, А.П. Крищенко.- М.: Изд-во МГТУ им. Н.Э. Баумана, 2001.- . (Сер. Математика в техническом университете; вып. XXI, заключительный). 
 
 
 
 
 
 
 
 
 
 
 

                                                     29

Информация о работе Функционально полные системы логических функций. Алгебраический подход