Автоматическое растормаживание колес: Тормозные устройства колес предназначены для уменьшения длины пробега и улучшения маневрирования ВС при...
Двойное оплодотворение у цветковых растений: Оплодотворение - это процесс слияния мужской и женской половых клеток с образованием зиготы...
Топ:
Оценка эффективности инструментов коммуникационной политики: Внешние коммуникации - обмен информацией между организацией и её внешней средой...
Оснащения врачебно-сестринской бригады.
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного хозяйства...
Интересное:
Аура как энергетическое поле: многослойную ауру человека можно представить себе подобным...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Инженерная защита территорий, зданий и сооружений от опасных геологических процессов: Изучение оползневых явлений, оценка устойчивости склонов и проектирование противооползневых сооружений — актуальнейшие задачи, стоящие перед отечественными...
Дисциплины:
2017-09-10 | 524 |
5.00
из
|
Заказать работу |
|
|
В алгебре переключений для представления значения логического сигнала используется символическая переменная, например X. В зависимости от технологии логический сигнал может иметь одно из двух значений: низкий или высокий уровень, «включено» или «выключено» и т. д.
Аксиомы или постулаты математической системы –это набор основных утверждений, про которые мы предполагаем, что они справедливы, и из которых можно вывести все другие свойства системы. Первые две аксиомы алгебры переключений устанавливают «цифровую абстракцию», формально утверждая, что переменная X может принимать только одно из двух значений
Вторая аксиом:
(А2) Если Х = 0, то Х'= 1;
(А2') Если Х = 1, то Х' = 0.
Последними тремя парами аксиом даются формальные определения операций И и ИЛИ путем перечисления значений сигнала на выходе каждой из рассмотренных схем для всех возможных комбинаций входных сигналов:
(АЗ) 0×0=0, (АЗ')1+1=1;
(А4) 1×1=1, (А4')0+0=0;
(A5) 0×1=1×0=0, (А5')1+0=0+1=1.
Теоремы (theorems) алгебры переключений представляют собой заведомо верные утверждения, которые позволяют преобразовывать алгебраические выражения, чтобы упростить анализ или более эффективно осуществить синтез соответствующей схемы. Например, теорема, утверждающая, что X + 0 = X, позволяет повсюду, где в выражении встретится X + 0, заменить эту сумму на X.
Ниже перечислены все теоремы алгебры переключений, касающиеся функций одной переменной X.
(T1) X+О=X (T1') X×1=X,
(T2) X+1=1 (Т2') X×0=О,
(ТЗ) X+X=X (Т3') X×X=X,
(Т4) =X,
(Т5) Х+Х'=1 (Т5') X×Х'=О.
Теоремы алгебры переключений, относящиеся к функциям двух и трех переменных, перечислены ниже. Каждая из теорем легко доказывается полной индукцией, то есть путем нахождения функции для четырех возможных комбинаций Х и У или для восьми возможных комбинаций X,Y и Z.
|
В первых двух парах теорем речь идет о коммутативности и ассоциативности логического сложения и логического умножения; эти утверждения идентичны коммутативному и ассоциативному правилам для сложения и умножения целых и действительных чисел. Эти теоремы утверждают, что наличие скобок и порядок членов в логической сумме и в логическом произведении несущественны. Например, со строго алгебраической точки зрения выражение типа W×X×У×Z допускает неоднозначное толкование; его следует записывать в виде (W-(X-(У-Z))) или (((W×X)У)×Z) или (W-X)×(У×Z). Но наши теоремы говорят, что неопределенность данного выражения по форме не страшна, поскольку в любом случае мы получаем один и тот же результат.
(Т6) X+Y=Y+X (Т7') XY=YX,
(Т7) (X+Y)+Z=X+(Y+Z) (Т7') (XY)Z=X(Y Z),
(Т8) XY+XZ =X(Y+Z) (T8') (X+Y)(X+Z)=X+YZ,
(T9) X+XY=X (T9') X(X+Y)=X,
(TIO) ХY+XY'=X (T10')(X+Y)(X+Y')=X,
(T11) XY+X'Z+YZ=XY+X'Z (T11')(X+Y)(X'+Z)(Y+Z)=(X+Y)(X'+Z).
Эти рассуждения кажутся тривиальными, и это действительно так, но они очень важны, так как образуют теоретическую базу для использования логических схем с числом входов больше двух. Мы ввели знаки × и + как двучленные операторы {binary operators),то есть операторы, связывающие две переменные. Однако на практике мы используем логические схемы И и ИЛИ с тремя, четырьмя и большим числом входов. Из теорем следует, что входы логических схем можно подключать к источникам сигналов в любом порядке; эта возможность используется во многих программах разводки соединений на печатных платах и внутри специализированных ИС. Можно воспользоваться, в принципе, одним n-входовым вентилем, либо двухвходовыми вентилями в количестве (n-1)штук, хотя задержка распространения и стоимость в последнем случае будут, вероятнее всего, больше.
Логическая функция - это функция, которая устанавливает соответствие между одним или несколькими высказываниями, которые называются аргументами функции, и высказыванием которое называется значением функции. Это определение почти не отличается от определения числовой функции. Разница лишь та, что аргументом и значением числовой функции являются числа, а аргументом логической функции - высказывания (переменные).
|
Инверсия (отрицание) — это логическое не. Говорят, что имея суждение А, можно образовать новое суждение, которое читается как «не А» или «неверно, что А». Для обозначения отрицания суждения употребляется символ или – над переменной. Запись А читается как «не А».
Коньюкция - это логическое умножение. Обозначение: А & В (АВ, А ∧ В). Читается так “ А и В “.
Дизьюкция - это логическое сложение. Обозначение: А ∨ В, (А + В). Читается так: “ А или В ”.
Эквиваленция - это функция тождества. Она обозначается символами =, ~, или <=>. Выбираем обозначение А = В. («тогда и только тогда»). Запись А = В читается как «А эквивалентно В».
Импликация - это логическое следование. Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО». Она обозначается символом →. Читается как «из А следует В». Обозначение: A→B.
Минимизация функций алгебры логики (ФАЛ) – это процедура нахождения наиболее простого представления ФАЛ в виде суперпозиции функций, составляющих функционально полную систему, при одновременной оптимизации ее технической реализации по некоторым критериям в условиях ряда ограничений. Критериями оптимизации могут быть объем оборудования (количество вентилей, корпусов), габариты, вес, энергопотребление, стоимость, быстродействие, надежность. В качестве ограничений могут выступать допустимые к использованию системы элементов, число элементов в корпусе, коэффициенты объединения по входу и разветвления по выходу логических элементов, необходимость реализации системы ФАЛ, а также ряд перечисленных выше критериев оптимизации.
К настоящему времени широкое применение получили:
1. Расчетный метод (метод непосредственных преобразований).
2. Расчетно-табличный метод (метод Квайна-МакКласки).
3. Метод Петрика (развитие метода Квайна-МакКласки).
4. Табличный метод (карты Карно).
5. Метод гиперкубов.
6. Метод факторизации.
7. Метод функциональной декомпозиции и др.
Первый метод применяется при числе переменных n <= 3 и основан на использовании операций склеивания, поглощения и развертывания. Ниже он будет рассмотрен подробно. Второй и третий методы используются при n ≤16 в профессиональных разработках и ориентированы на использование САПР с применением ЭВМ. Четвертый метод является самым распространенным инженерным методом минимизации ФАЛ для n ≤6. Шестой метод не имеет каких-либо существенных достижений при решении общих задач, более простых, чем метод перебора всех формул ФАЛ даже для n = 3. Практически он используется для уменьшения сложности минимальных функций, полученных с использованием первого или четвертого методов. Он основан на использовании скобочных форм и форм с групповыми инверсиями. Седьмой метод основан на представлении ФАЛ, зависящей от n переменных, в виде суперпозиций функций, зависящих от меньшего числа переменных, для которых можно применить выше перечисленные метод.
|
|
|
Архитектура электронного правительства: Единая архитектура – это методологический подход при создании системы управления государства, который строится...
Опора деревянной одностоечной и способы укрепление угловых опор: Опоры ВЛ - конструкции, предназначенные для поддерживания проводов на необходимой высоте над землей, водой...
Семя – орган полового размножения и расселения растений: наружи у семян имеется плотный покров – кожура...
История создания датчика движения: Первый прибор для обнаружения движения был изобретен немецким физиком Генрихом Герцем...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!