Использование логики высказываний в технике. 11 класс

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 2 Математический аппарат алгебры логики очень удобен для описания того, как функционируют аппаратные средства компьютера, поскольку основной системой счисления в компьютере является двоичная, в которой используются цифры 1 и 0, а значений логических переменных тоже два: 1 и 0. Алгебра логики нашла широкое применение первоначально при разработке релейно-контактных схем.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 3 на этапе конструирования аппаратных средств алгебра логики позволяет значительно упростить логические функции, описывающие функционирование схем компьютера, и, следовательно, уменьшить число элементарных логических элементов, из десятков тысяч которых состоят основные узлы компьютера. одни и те же устройства компьютера могут применяться для обработки и хранения как числовой информации, представленной в двоичной системе счисления, так и логических переменных; Вывод:

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 4 Клод Шеннон В 1938 г. американец Клод Шеннон опубликовал статью «Символический анализ релейно-контактных схем». После этой статьи проектирование ЭВМ не обходилось без применения булевой алгебры. Развитие технологии позволило объединять несколько логических элементов на одной интегральной схеме.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 5 Логические схемы на контактных элементах. Логический элемент – это схема, реализующая логические операции И, ИЛИ, НЕ.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 6 Реализация логических элементов через электрические контактные схемы Контакты на схемах обозначаются латинскими буквами. 1. Последовательное соединение контактов 2. Параллельное соединение контактов ab a b

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 7 Таблица зависимости состояния цепей от всевозможных комбинаций состояния контактов: 1 – контакт замкнут, ток в цепи есть 0 – контакт разомкнут, тока в цепи нет А В Состояние цепи с последова- тельным соединением Состояние цепи с парал- лельным соединением Как видно, цепь с последовательным соединением соответствует логи- ческой операции И, цепь с параллельным соединением соответствует логической операции ИЛИ. Логическая операция НЕ реализуется через контактную схему электро- магнитного реле. Контакт не Х называется инверсией контакта Х.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 8 Основная работа над электрическими схемами Чтение электрических схем. Составление электрической схемы на контактных элементах по формуле. Составление электрической схемы на контактных элементах по формуле. Составление формулы по схеме. Анализ и упрощение схем. Составление контактной схемы по таблице истинности (синтез). Составление контактной схемы по таблице истинности (синтез).

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 9 Чтение электрических схем Определить состояние электрической схемы (т.е. есть ток или нет) в зависимости от состояния контактов при подключении источника тока. Дана схема: y x z Состояние контактов задается таблицей, в которой используются введенные ранее обозначения: 0 – контакт разомкнут, 1 – контакт замкнут. Требуется Заполнить колонку состояния схемы XYZ Состояние схемы 0111 (есть) (нет) 1) (0; 1; 1) – замкнуты У и Z 2) (1; 0; 1) – замкнуты Х и Z 3) (1; 1; 0) – Z не замкнут, обрыв цепи

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 10 Составление электрической схемы на контактных элементах по формуле. 1) F(a, b, d, e, f) = (А или В) и F и (D или Е) = = (А v В) ^ F ^ (D v Е) ae b f d 2) F(a, b, c, e, f) = (А и В и С) или (Е или F) = = (А ^ В ^ C) v (E v F) bac f e

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 11 Составление формулы по схеме. Составьте формулы логических функций к схемам: а) F(a, b, c) = (A v B) ^ (B v C)

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 12 Анализ и упрощение схем. 1) Произвести анализ контактной схемы: y не х х Схеме соответствует логическая функция F(x, y) = x и (не х или у). Составим таблицу истинности: XYне Хне Х или УF(x, y) = x и (не х или у) Т.о. ток в цепи протекает только при замкнутых контактах Х и У, разомкнутом не Х. При других комбинациях тока в цепи нет.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 13 Упрощение контактной схемы сводится к упрощению соответствующей формулы с использованием законов логики. 2) Используя законы логики упростить логическую формулу из предыдущего задания F(x, y) = x и (не х или у) = (х и не х) или (х и у)= = 0 или (х и у) = х и у Как видно, результат упрощения формулы позволил убрать из исходной схемы один контакт. y не х х Дано:Результат: ху

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 14 Составление контактной схемы по таблице истинности (синтез). Синтез контактной схемы заключается в разработке схемы, условие работы которой задано таблицей истинности или словесным описанием.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 15 Упражнение 1 Синтезируйте контактную схему по таблице АВF(A, B)

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 16 Логическая формула, соответствующая данной таблице, составляется так: Из таблицы выбираются наборы переменных А и В, для которых F(A, B) = 1, а это строки со значением переменных (0;1), (1;0), (1,1). Для каждого набора записывается формула с логической операцией И, истинная для этого набора. Очевидно, что для этого достаточно переменные, под которыми в строке стоит «0» взять со знаком отрицания, а со знаком «1» без отрицания

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 17 продолжение Для набора (0;1): не А и В Для набора (1;0): А и не В Для набора (1;1): А и В Полученные формулы объединяют в одну логической операцией ИЛИ F(A,B)=(не А и В)или((А и не В)или(А и В) Полученная формула истинна, т.к. истинна одна или несколько из ее составляющих. Формулу можно проверить таблицей истинности.

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 18 продолжение Прежде чем строить схему по формуле, ее надо упростить F(A,B)= (не А и В) или (А и не В) или (А и В)= = (не А и В) или А = = (не А или А) и (А или В) = А или В Полученную схему можно проверить составив таблицу истинности a b

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 19 Упражнение 2 Составить схему: Результат: F(A,B,C)= A и (В или С) Схема: ABCF(А,B,C) c b а

Криворотова Лариса Николаевна. МОУ "Гимназия" г.Тырныауз КБР 20 Домашние задания 20, 21 стр.139, §5.12 стр.123 (Шауцукова) – построить схему по формуле 18, 19 стр. 138 – записать формулу по схеме 22 стр. 140 – упрощение схем