Скачать презентацию Логические элементы Вычислительная техника Логика упорядоченная система Скачать презентацию Логические элементы Вычислительная техника Логика упорядоченная система

Логические элементы.pptx

  • Количество слайдов: 88

Логические элементы Вычислительная техника Логические элементы Вычислительная техника

Логика упорядоченная система мышления, которая создает взаимосвязи между заданными условиями и позволяет делать умозаключения, Логика упорядоченная система мышления, которая создает взаимосвязи между заданными условиями и позволяет делать умозаключения, основываясь на предпосылках и предположениях

Аристотель Древнегреческий философ Основоположник логики 384 — 322 до н. э. Исследовал различные формы Аристотель Древнегреческий философ Основоположник логики 384 — 322 до н. э. Исследовал различные формы рассуждений , ввел понятие силлогизма

Рене Декарт Французский философ, математик, механик, физик и физиолог 1596 1650 Рекомендовал в логике Рене Декарт Французский философ, математик, механик, физик и физиолог 1596 1650 Рекомендовал в логике использовать математические методы

Готфрид Вильгельм Лейбниц Немецкий философ, логик, математик, механик, физик, юрист, историк, дипломат, языковед и Готфрид Вильгельм Лейбниц Немецкий философ, логик, математик, механик, физик, юрист, историк, дипломат, языковед и изобретатель 1646 1716 Предложил в логике использовать двоичную систему счисления и математическую символику

Джордж Буль Английский математик и логик Основоположник математической логики 1815 1864 «Математический анализ логики» Джордж Буль Английский математик и логик Основоположник математической логики 1815 1864 «Математический анализ логики» 1847

Математическая логика математизированная ветвь формальной логики «Логика по предмету, математика по методу» И. Н. Математическая логика математизированная ветвь формальной логики «Логика по предмету, математика по методу» И. Н. Бродский

Пауль Эренфест Австрийский и нидерландский физиктеоретик 1880 1933 Член Нидерландской королевской АН, член-корреспондент АН Пауль Эренфест Австрийский и нидерландский физиктеоретик 1880 1933 Член Нидерландской королевской АН, член-корреспондент АН СССР, иностранный член Датской АН

Михаил Гаврилов Советский учёный, стоявший у истоков отечественных информатики и кибернетики Создал теорию релейно Михаил Гаврилов Советский учёный, стоявший у истоков отечественных информатики и кибернетики Создал теорию релейно -контактных схем 1903 1979

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

Логический элемент Реализация КОНТАКТНОРЕЛЕЙНЫЕ ЭЛЕКТРОННЫ Е СХЕМЫ Логический элемент Реализация КОНТАКТНОРЕЛЕЙНЫЕ ЭЛЕКТРОННЫ Е СХЕМЫ

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

Логическая операция (функция) Истинностные значения Истина 1 Ложь 0 На входе набор из 0 Логическая операция (функция) Истинностные значения Истина 1 Ложь 0 На входе набор из 0 и 1 На выходе 0 или 1

Логический элемент Входные данные в виде высокого и низкого уровней напряжения на входах Значения Логический элемент Входные данные в виде высокого и низкого уровней напряжения на входах Значения определяются электрическими параметрами схемы и одинаковы как для входных и для выходных сигналов

Положительная логика Высокий уровень (замкнутый ключ, светящийся индикатор)= Истина = 1 Низкий уровень (разомкнутый Положительная логика Высокий уровень (замкнутый ключ, светящийся индикатор)= Истина = 1 Низкий уровень (разомкнутый ключ, не светящийся индикатор)= Ложь = 0 Отрицательная логика наоборот

Таблица истинности Все возможные комбинации входных сигналов и соответствующий каждой комбинации выходной сигнал Вход Таблица истинности Все возможные комбинации входных сигналов и соответствующий каждой комбинации выходной сигнал Вход X Вход Y Выход 0 0 1 1 1 0 1 1

Таблица истинности Количеств о столбцов Количеств о строк = Количество входов =2 + Количество Таблица истинности Количеств о столбцов Количеств о строк = Количество входов =2 + Количество выходов количество входов

Логические элементы НЕ инвертирование И логическое умножение ИЛИ логическое сложение Логические элементы НЕ инвертирование И логическое умножение ИЛИ логическое сложение

Инвертор изменяет значение входного сигнала на прямо противоположное значение Вход Выход 0 1 1 Инвертор изменяет значение входного сигнала на прямо противоположное значение Вход Выход 0 1 1 0

Инвертор (НЕ) Реализация Условно-графическое изображение Инвертор (НЕ) Реализация Условно-графическое изображение

Логическое умножение Конъюнктор Вход X Вход Y Выход 0 0 1 1 1 Логическое умножение Конъюнктор Вход X Вход Y Выход 0 0 1 1 1

Активный логический уровень однозначно задает состояние на выходе элемента независимо от логических уровней на Активный логический уровень однозначно задает состояние на выходе элемента независимо от логических уровней на остальных входах Вход X Вход Y Выход 0 0 1 1 1

Логическое умножение (2 И) Реализация Условно-графическое изображение (УГО) Логическое умножение (2 И) Реализация Условно-графическое изображение (УГО)

Логическое умножение 3 И Вход X Вход Y Вход Z Выход 0 0 0 Логическое умножение 3 И Вход X Вход Y Вход Z Выход 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1

Логическое умножение 3 И Реализация Условно-графическое изображение Логическое умножение 3 И Реализация Условно-графическое изображение

Логическое сложение Дизъюнктор Вход X Вход Y Выход 0 0 1 1 1 0 Логическое сложение Дизъюнктор Вход X Вход Y Выход 0 0 1 1 1 0 1 1

Логическое сложение (2 ИЛИ) Реализация Условно-графическое изображение (УГО) Логическое сложение (2 ИЛИ) Реализация Условно-графическое изображение (УГО)

Элемент 2 И-НЕ Штрих Шеффера Вход X Вход Y Выход 0 0 1 1 Элемент 2 И-НЕ Штрих Шеффера Вход X Вход Y Выход 0 0 1 1 1 0

Элемент NИ-НЕ Элемент NИ-НЕ

Элемент 2 ИЛИ-НЕ Стрелка Пирса Вход X Вход Y Выход 0 0 1 0 Элемент 2 ИЛИ-НЕ Стрелка Пирса Вход X Вход Y Выход 0 0 1 0 1 0 0 1 1 0

Элемент N ИЛИ-НЕ Элемент N ИЛИ-НЕ

Комбинационные элементы 2 И-ИЛИ Комбинационные элементы 2 И-ИЛИ

Комбинационные элементы 3 -2 И-ИЛИ-НЕ Комбинационные элементы 3 -2 И-ИЛИ-НЕ

Функционально полная система Система простых логических функций, на основе которой можно получить любую логическую Функционально полная система Система простых логических функций, на основе которой можно получить любую логическую функцию

Функционально полные системы • 2 И, 2 ИЛИ, НЕ • 2 И–НЕ • 2 Функционально полные системы • 2 И, 2 ИЛИ, НЕ • 2 И–НЕ • 2 ИЛИ–НЕ

РЕАЛИЗАЦИЯ ЦИФРОВЫХ УСТРОЙСТВ ПО ЗАДАННЫМ ФОРМУЛАМ РЕАЛИЗАЦИЯ ЦИФРОВЫХ УСТРОЙСТВ ПО ЗАДАННЫМ ФОРМУЛАМ

Построение таблиц истинности 1. Определяем количество входов 2. Количество строк в таблице 2 количество Построение таблиц истинности 1. Определяем количество входов 2. Количество строк в таблице 2 количество входов 3. Определяем количество действий 4. Количество столбцов в таблице = количество входов + количество действий 5. Заполняем таблицу

А В А∙B F А В А∙B F

А В 0 0 0 1 1 А∙B F А В 0 0 0 1 1 А∙B F

А В А∙B 0 0 1 1 1 F А В А∙B 0 0 1 1 1 F

А В А∙B F 0 0 0 1 1 1 А В А∙B F 0 0 0 1 1 1

А В А∙B A B (A B) F А В А∙B A B (A B) F

А В 0 0 0 1 1 А∙B A B (A B) F А В 0 0 0 1 1 А∙B A B (A B) F

А В А∙B 0 0 1 1 1 A B (A B) F А В А∙B 0 0 1 1 1 A B (A B) F

А В А∙B A B 0 0 0 1 1 1 (A B) F А В А∙B A B 0 0 0 1 1 1 (A B) F

А В А∙B A B (A B) 0 0 1 0 1 0 0 А В А∙B A B (A B) 0 0 1 0 1 0 0 1 1 1 1 0 F

А В А∙B A B (A B) F 0 0 1 1 0 1 А В А∙B A B (A B) F 0 0 1 1 0 1 0 0 1 1 0 1

X Y Z 0 0 0 1 1 1 0 0 1 1 1 X Y Z 0 0 0 1 1 1 0 0 1 1 1 XY Не Z X Z Не XZ 5 F

X Y Z XY Не Z X Z 0 0 0 1 1 0 X Y Z XY Не Z X Z 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 Не XZ 5 F

X Y Z XY Не Z X Z 0 0 1 0 1 1 X Y Z XY Не Z X Z 0 0 1 0 1 1 0 0 0 1 1 1 1 0 Не XZ 5 F

X Y Z XY Не Z X Z 0 0 1 0 0 1 X Y Z XY Не Z X Z 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 0 1 Не XZ 5 F

XY Не Z X Z Не XZ X Y Z 0 0 1 0 XY Не Z X Z Не XZ X Y Z 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 5 F

Не XZ 5 0 1 1 0 0 1 0 1 1 1 0 Не XZ 5 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 1 X Y Z XY Не Z X Z 0 0 1 0 0 1 1 F

Не XZ 5 F 0 1 1 1 0 0 1 0 1 1 Не XZ 5 F 0 1 1 1 0 0 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 1 X Y Z XY Не Z X Z 0 0 1 0 0 1 1

РЕАЛИЗАЦИЯ ЦИФРОВЫХ УСТРОЙСТВ ПО ЗАДАННЫМ ТАБЛИЦАМ ИСТИННОСТИ РЕАЛИЗАЦИЯ ЦИФРОВЫХ УСТРОЙСТВ ПО ЗАДАННЫМ ТАБЛИЦАМ ИСТИННОСТИ

Синтез схем СДНФ СКНФ совершенная дизъюнктивная конъюнктивная нормальная форма по «единицам» по «нолям» Синтез схем СДНФ СКНФ совершенная дизъюнктивная конъюнктивная нормальная форма по «единицам» по «нолям»

Алгоритм (СДНФ) 1. Выбираем наборы переменных, при которых выходное значение равно 1. 2. Для Алгоритм (СДНФ) 1. Выбираем наборы переменных, при которых выходное значение равно 1. 2. Для каждого такого набора записываем конъюнкции всех переменных, если переменная имеет значение 0, берём её в инвертированном виде. 3. Полученные конъюнкции объединяем операцией дизъюнкции

Алгоритм (СКНФ) 1. Выбираем наборы переменных, при которых выходное значение равно 0. 2. Для Алгоритм (СКНФ) 1. Выбираем наборы переменных, при которых выходное значение равно 0. 2. Для каждого такого набора записываем дизъюнкции всех переменных, если переменная имеет значение 1, берём её в инвертированном виде. 3. Полученные дизъюнкции объединяем операцией конъюнкции

ЗАДАЧА 1 ЗАДАЧА 1

A B C f 0 0 0 1 1 0 1 0 0 0 A B C f 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1

A B C f 0 0 0 1 1 0 1 0 0 0 A B C f 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1

A B C f 0 0 0 1 1 0 1 0 0 0 A B C f 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1

A B C f 0 0 0 1 1 0 1 0 0 0 A B C f 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 А & В & С А&В&С

Формула ( А & В & С) (А & В & С) Совершенная дизъюнктивная Формула ( А & В & С) (А & В & С) Совершенная дизъюнктивная нормальная форма (СДНФ)

Формула ( А & В & С) (А & В & С) Совершенная дизъюнктивная Формула ( А & В & С) (А & В & С) Совершенная дизъюнктивная нормальная форма

Формула ( А & В & С) (А & В & С) Совершенная дизъюнктивная Формула ( А & В & С) (А & В & С) Совершенная дизъюнктивная нормальная форма

A B C f 0 0 0 1 1 0 1 0 0 0 A B C f 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1

A B C f 0 0 0 1 1 0 0 А В С A B C f 0 0 0 1 1 0 0 А В С 0 1 1 0 А В С 1 0 0 0 А В С 1 0 1 1 0 0 1 1 А В С А В С

(А В С) & & ( А В С) Совершенная конъюнктивная нормальная форма (СКНФ) (А В С) & & ( А В С) Совершенная конъюнктивная нормальная форма (СКНФ)

(А В С) & & ( А В С) Совершенная конъюнктивная нормальная форма (А В С) & & ( А В С) Совершенная конъюнктивная нормальная форма

(А В С) & & ( А В С) Совершенная конъюнктивная нормальная форма (А В С) & & ( А В С) Совершенная конъюнктивная нормальная форма

ЗАДАЧА ЗАДАЧА

In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1

In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1

In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1

Формула для Out 0 ( x 1∙ x 2 ∙ x 3 ∙ x Формула для Out 0 ( x 1∙ x 2 ∙ x 3 ∙ x 4) ( x 1 ∙ x 2 ∙ x 3 ∙ x 4) (x 1 ∙ x 2 ∙ x 3 ∙ x 4) Совершенная дизъюнктивная нормальная форма (СДНФ)

Формула для Out 0 ( x 1∙ x 2 ∙ x 3 ∙ x Формула для Out 0 ( x 1∙ x 2 ∙ x 3 ∙ x 4) ( x 1 ∙ x 2 ∙ x 3 ∙ x 4) (x 1 ∙ x 2 ∙ x 3 ∙ x 4) Совершенная дизъюнктивная нормальная форма (СДНФ)

Формула для Out 0 ( x 1∙ x 2 ∙ x 3 ∙ x Формула для Out 0 ( x 1∙ x 2 ∙ x 3 ∙ x 4) ( x 1 ∙ x 2 ∙ x 3 ∙ x 4) (x 1 ∙ x 2 ∙ x 3 ∙ x 4) Совершенная дизъюнктивная нормальная форма (СДНФ)

In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 In 0 In 1 In 2 In 3 Out 0 Out 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1

Формула для Out 1 ( x 1∙x 2 ∙ x 3 ∙ x 4) Формула для Out 1 ( x 1∙x 2 ∙ x 3 ∙ x 4) (x 1 ∙ x 2 ∙ x 3 ∙ x 4) (x 1 ∙ x 2 ∙ x 3 ∙ x 4) Совершенная дизъюнктивная нормальная форма (СДНФ)

8 4 2 1 a b 0 0 0 0 0 1 1 0 8 4 2 1 a b 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1

8 4 2 1 a b 0 0 1 1 0 0 0 1 8 4 2 1 a b 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1