SlideShare a Scribd company logo
1 of 9
Логические модели
переключательных схем


     Санкт-Петербург
          2013
Что такое переключательная схема?
  Переключательная     схема    —     это схематическое
изображение некоторого устройства, состоящего из
переключателей и соединяющих их проводников, а также из
входов и выходов, на которые подаѐтся и с которых
снимается электрический сигнал.
  Каждый переключатель имеет только два состояния:
замкнутое и разомкнутое. Переключателю Х поставим в
соответствие логическую переменную х, которая принимает
значение 1 в том и только в том случае, когда
переключатель Х замкнут и схема проводит ток; если же
переключатель разомкнут, то х равен нулю.
Функция проводимости
   Всей переключательной схеме также можно поставить в
соответствие логическую переменную, равную единице,
если схема проводит ток, и равную нулю — если не
проводит. Эта переменная является функцией от
переменных, соответствующих всем переключателям схемы,
и называется функцией проводимости.
   Найдем     функции     проводимости  F    некоторых
переключательных схем:
   a)               Схема не содержит переключателей и
проводит ток всегда, следовательно F=1;

б)                 Схема содержит один      постоянно
разомкнутый контакт, следовательно F=0;
в)                  Схема    проводит      ток,     когда
переключатель х замкнут, и не проводит, когда х разомкнут,
следовательно, F(x) = x;
 г)                  Схема    проводит      ток,     когда
переключатель х разомкнут, и не проводит, когда х замкнут,
следовательно, F(x)= ;
 д)                  Схема проводит ток, когда оба
переключателя замкнуты, следовательно, F(x) = x . y;
е)


Схема проводит ток, когда хотя бы один из переключателей
замкнут, следовательно, F(x)=x v y;
ж)


Схема состоит из двух параллельных ветвей и описывается
функцией

  Две схемы называются равносильными, если через одну из
них проходит ток тогда и только тогда, когда он проходит
через другую (при одном и том же входном сигнале).
  Из двух равносильных схем более простой считается та
схема, функция проводимости которой содержит меньшее
число логических операций или переключателей.
Синтез и анализ
   Задача нахождения среди равносильных схем наиболее простых
является очень важной. Большой вклад в ее решение внесли
российские учѐные Ю.И. Журавлев, С.В. Яблонский и др.
   При рассмотрении переключательных схем возникают две
основные задачи: синтез и анализ схемы.
   СИНТЕЗ СХЕМЫ по заданным условиям ее работы сводится к
следующим трѐм этапам:
• составлению функции проводимости по таблице истинности,
отражающей эти условия;
• упрощению этой функции;
• построению соответствующей схемы.
   АНАЛИЗ СХЕМЫ сводится к
• определению значений еѐ функции проводимости при всех
возможных наборах входящих в эту функцию переменных.
• получению упрощѐнной формулы.
Задание
   Некая парламентская комиссия состоит из пяти человек. Еѐ
возглавляет председатель комиссии. Для хранения документов в
распоряжение комиссии предоставлен сейф. У каждого члена
комиссии есть свой уникальный ключ к этому сейфу. Чтобы
открыть сейф, надо вставить эти ключи в отведенные им гнезда и
повернуть – после этого ключ замыкает соответствующий ему
контакт электронного замка. Рядовые члены комиссии могут
открыть сейф только в том случае, если в замок вставлены ровно
три ключа. Председатель комиссии может открыть сейф только
вместе с еще одним любым членом комиссии. Составьте
переключательную схему такого замка. (Совет: обозначьте
переключатели буквами и запишите логическую формулу,
описывающую работу такого замка.)
Дополнительная информация

http://www.youtube.com/watch?v=fxbvBxpZyKo
Упрощение переключательных схем
Использованные материалы:

• Гейн А.Г. Информатика и ИКТ. Основы математической
    логики. 10-11 классы: пособие для учащихся
    общеобразоват. учреждений/ А.Г.Гейн. – М.: просвещение,
    2012. – 97с.: ил.
•   http://book.kbsu.ru/theory/chapter5/1_5_12.html

More Related Content

What's hot

TMPA-2013 Frenkel: Verifying Functional Reliability
TMPA-2013 Frenkel: Verifying Functional ReliabilityTMPA-2013 Frenkel: Verifying Functional Reliability
TMPA-2013 Frenkel: Verifying Functional ReliabilityIosif Itkin
 
Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...
Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...
Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...Nikolay Grebenshikov
 
построение логических схем
построение логических схемпостроение логических схем
построение логических схемЕлена Ключева
 
Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКА
Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКАВведение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКА
Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКАIgor Kleiner
 
практика 4
практика 4практика 4
практика 4student_kai
 
практика 3
практика 3практика 3
практика 3student_kai
 
Системы булевых функций. Применение булевых функций к релейно-контактным схемам
Системы булевых функций. Применение булевых функций к релейно-контактным схемамСистемы булевых функций. Применение булевых функций к релейно-контактным схемам
Системы булевых функций. Применение булевых функций к релейно-контактным схемамИльдус Ситдиков
 
A Method of Building Extended Finite State Machines According to HDL-Descript...
A Method of Building Extended Finite State Machines According to HDL-Descript...A Method of Building Extended Finite State Machines According to HDL-Descript...
A Method of Building Extended Finite State Machines According to HDL-Descript...Iosif Itkin
 
TMPA-2015: Lexical analysis of dynamically formed string expressions
TMPA-2015: Lexical analysis of dynamically formed string expressionsTMPA-2015: Lexical analysis of dynamically formed string expressions
TMPA-2015: Lexical analysis of dynamically formed string expressionsIosif Itkin
 
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL ModelsTMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL ModelsIosif Itkin
 
презентация л2 3-091214_v1
презентация л2 3-091214_v1презентация л2 3-091214_v1
презентация л2 3-091214_v1Gulnaz Shakirova
 
Лекция №1. Введение. Предмет "Теория вычислительных процессов"
Лекция №1. Введение. Предмет "Теория вычислительных процессов"Лекция №1. Введение. Предмет "Теория вычислительных процессов"
Лекция №1. Введение. Предмет "Теория вычислительных процессов"Nikolay Grebenshikov
 
Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...
Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...
Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...Nikolay Grebenshikov
 
Логические основы построения эвм
Логические основы построения эвмЛогические основы построения эвм
Логические основы построения эвмaleksashka3
 
Структурные формулы и функциональные схемы
Структурные формулы и функциональные схемыСтруктурные формулы и функциональные схемы
Структурные формулы и функциональные схемыaleksashka3
 
Kriticheskie tochki funkcii_tochki_jekstremumov
Kriticheskie tochki funkcii_tochki_jekstremumovKriticheskie tochki funkcii_tochki_jekstremumov
Kriticheskie tochki funkcii_tochki_jekstremumovIvanchik5
 
TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...
TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...
TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...Iosif Itkin
 
КР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пкКР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пкaleksashka3
 

What's hot (20)

TMPA-2013 Frenkel: Verifying Functional Reliability
TMPA-2013 Frenkel: Verifying Functional ReliabilityTMPA-2013 Frenkel: Verifying Functional Reliability
TMPA-2013 Frenkel: Verifying Functional Reliability
 
Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...
Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...
Лекция №3. Свойства и моделирование стандартных схем программ. Предмет "Теори...
 
построение логических схем
построение логических схемпостроение логических схем
построение логических схем
 
Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКА
Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКАВведение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКА
Введение в теорию автоматов и вычислений. 1.12 дорожная карта 2 - ДКА
 
практика 4
практика 4практика 4
практика 4
 
практика 3
практика 3практика 3
практика 3
 
Системы булевых функций. Применение булевых функций к релейно-контактным схемам
Системы булевых функций. Применение булевых функций к релейно-контактным схемамСистемы булевых функций. Применение булевых функций к релейно-контактным схемам
Системы булевых функций. Применение булевых функций к релейно-контактным схемам
 
A Method of Building Extended Finite State Machines According to HDL-Descript...
A Method of Building Extended Finite State Machines According to HDL-Descript...A Method of Building Extended Finite State Machines According to HDL-Descript...
A Method of Building Extended Finite State Machines According to HDL-Descript...
 
TMPA-2015: Lexical analysis of dynamically formed string expressions
TMPA-2015: Lexical analysis of dynamically formed string expressionsTMPA-2015: Lexical analysis of dynamically formed string expressions
TMPA-2015: Lexical analysis of dynamically formed string expressions
 
Основы MATLAB. Программирование
Основы MATLAB. ПрограммированиеОсновы MATLAB. Программирование
Основы MATLAB. Программирование
 
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL ModelsTMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
 
презентация л2 3-091214_v1
презентация л2 3-091214_v1презентация л2 3-091214_v1
презентация л2 3-091214_v1
 
Лекция №1. Введение. Предмет "Теория вычислительных процессов"
Лекция №1. Введение. Предмет "Теория вычислительных процессов"Лекция №1. Введение. Предмет "Теория вычислительных процессов"
Лекция №1. Введение. Предмет "Теория вычислительных процессов"
 
Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...
Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...
Лекция №2. Алгоритмические проблемы. Стандартные схемы программ. Предмет "Тео...
 
Логические основы построения эвм
Логические основы построения эвмЛогические основы построения эвм
Логические основы построения эвм
 
Структурные формулы и функциональные схемы
Структурные формулы и функциональные схемыСтруктурные формулы и функциональные схемы
Структурные формулы и функциональные схемы
 
Kriticheskie tochki funkcii_tochki_jekstremumov
Kriticheskie tochki funkcii_tochki_jekstremumovKriticheskie tochki funkcii_tochki_jekstremumov
Kriticheskie tochki funkcii_tochki_jekstremumov
 
TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...
TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...
TMPA-2013 Vert Krikun: Finding Defects in C and C++ Pointers Using Static Ana...
 
КР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пкКР Решение логических задач. логические основы построения пк
КР Решение логических задач. логические основы построения пк
 
моап 2011 04
моап 2011 04моап 2011 04
моап 2011 04
 

More from Елена Ключева

378 васильев куницын_тезисы
378 васильев куницын_тезисы378 васильев куницын_тезисы
378 васильев куницын_тезисыЕлена Ключева
 
378 васильев куницын_тезисы
378 васильев куницын_тезисы378 васильев куницын_тезисы
378 васильев куницын_тезисыЕлена Ключева
 
представление графической информации
представление графической информациипредставление графической информации
представление графической информацииЕлена Ключева
 
представление текстовой информации
представление текстовой информациипредставление текстовой информации
представление текстовой информацииЕлена Ключева
 
как оформить реферат по госту
как оформить реферат по гостукак оформить реферат по госту
как оформить реферат по гостуЕлена Ключева
 
программа открытых мероприятий для родителей обучающихся лицея
программа открытых мероприятий для родителей обучающихся лицеяпрограмма открытых мероприятий для родителей обучающихся лицея
программа открытых мероприятий для родителей обучающихся лицеяЕлена Ключева
 
проектирование исследования
проектирование исследованияпроектирование исследования
проектирование исследованияЕлена Ключева
 
виды исследовательских работ
виды исследовательских работвиды исследовательских работ
виды исследовательских работЕлена Ключева
 
шифрование и дешифрование
шифрование и дешифрованиешифрование и дешифрование
шифрование и дешифрованиеЕлена Ключева
 

More from Елена Ключева (20)

378 васильев куницын
378 васильев куницын378 васильев куницын
378 васильев куницын
 
378 васильев куницын_тезисы
378 васильев куницын_тезисы378 васильев куницын_тезисы
378 васильев куницын_тезисы
 
378 васильев куницын_тезисы
378 васильев куницын_тезисы378 васильев куницын_тезисы
378 васильев куницын_тезисы
 
плакат орксэ
плакат орксэплакат орксэ
плакат орксэ
 
символы
символысимволы
символы
 
378 vasilyev
378 vasilyev378 vasilyev
378 vasilyev
 
378 васильев тезисы
378 васильев тезисы378 васильев тезисы
378 васильев тезисы
 
представление графической информации
представление графической информациипредставление графической информации
представление графической информации
 
представление текстовой информации
представление текстовой информациипредставление текстовой информации
представление текстовой информации
 
как оформить реферат по госту
как оформить реферат по гостукак оформить реферат по госту
как оформить реферат по госту
 
программа открытых мероприятий для родителей обучающихся лицея
программа открытых мероприятий для родителей обучающихся лицеяпрограмма открытых мероприятий для родителей обучающихся лицея
программа открытых мероприятий для родителей обучающихся лицея
 
представление чисел
представление чиселпредставление чисел
представление чисел
 
проектирование исследования
проектирование исследованияпроектирование исследования
проектирование исследования
 
виды исследовательских работ
виды исследовательских работвиды исследовательских работ
виды исследовательских работ
 
содержательный подход
содержательный подходсодержательный подход
содержательный подход
 
научная деятельность
научная деятельностьнаучная деятельность
научная деятельность
 
измерение информации
измерение информацииизмерение информации
измерение информации
 
шифрование и дешифрование
шифрование и дешифрованиешифрование и дешифрование
шифрование и дешифрование
 
стартовая презентация
стартовая презентациястартовая презентация
стартовая презентация
 
стартовая презентация
стартовая презентациястартовая презентация
стартовая презентация
 

логические модели переключательных схем

  • 2. Что такое переключательная схема? Переключательная схема — это схематическое изображение некоторого устройства, состоящего из переключателей и соединяющих их проводников, а также из входов и выходов, на которые подаѐтся и с которых снимается электрический сигнал. Каждый переключатель имеет только два состояния: замкнутое и разомкнутое. Переключателю Х поставим в соответствие логическую переменную х, которая принимает значение 1 в том и только в том случае, когда переключатель Х замкнут и схема проводит ток; если же переключатель разомкнут, то х равен нулю.
  • 3. Функция проводимости Всей переключательной схеме также можно поставить в соответствие логическую переменную, равную единице, если схема проводит ток, и равную нулю — если не проводит. Эта переменная является функцией от переменных, соответствующих всем переключателям схемы, и называется функцией проводимости. Найдем функции проводимости F некоторых переключательных схем: a) Схема не содержит переключателей и проводит ток всегда, следовательно F=1; б) Схема содержит один постоянно разомкнутый контакт, следовательно F=0;
  • 4. в) Схема проводит ток, когда переключатель х замкнут, и не проводит, когда х разомкнут, следовательно, F(x) = x; г) Схема проводит ток, когда переключатель х разомкнут, и не проводит, когда х замкнут, следовательно, F(x)= ; д) Схема проводит ток, когда оба переключателя замкнуты, следовательно, F(x) = x . y; е) Схема проводит ток, когда хотя бы один из переключателей замкнут, следовательно, F(x)=x v y;
  • 5. ж) Схема состоит из двух параллельных ветвей и описывается функцией Две схемы называются равносильными, если через одну из них проходит ток тогда и только тогда, когда он проходит через другую (при одном и том же входном сигнале). Из двух равносильных схем более простой считается та схема, функция проводимости которой содержит меньшее число логических операций или переключателей.
  • 6. Синтез и анализ Задача нахождения среди равносильных схем наиболее простых является очень важной. Большой вклад в ее решение внесли российские учѐные Ю.И. Журавлев, С.В. Яблонский и др. При рассмотрении переключательных схем возникают две основные задачи: синтез и анализ схемы. СИНТЕЗ СХЕМЫ по заданным условиям ее работы сводится к следующим трѐм этапам: • составлению функции проводимости по таблице истинности, отражающей эти условия; • упрощению этой функции; • построению соответствующей схемы. АНАЛИЗ СХЕМЫ сводится к • определению значений еѐ функции проводимости при всех возможных наборах входящих в эту функцию переменных. • получению упрощѐнной формулы.
  • 7. Задание Некая парламентская комиссия состоит из пяти человек. Еѐ возглавляет председатель комиссии. Для хранения документов в распоряжение комиссии предоставлен сейф. У каждого члена комиссии есть свой уникальный ключ к этому сейфу. Чтобы открыть сейф, надо вставить эти ключи в отведенные им гнезда и повернуть – после этого ключ замыкает соответствующий ему контакт электронного замка. Рядовые члены комиссии могут открыть сейф только в том случае, если в замок вставлены ровно три ключа. Председатель комиссии может открыть сейф только вместе с еще одним любым членом комиссии. Составьте переключательную схему такого замка. (Совет: обозначьте переключатели буквами и запишите логическую формулу, описывающую работу такого замка.)
  • 9. Использованные материалы: • Гейн А.Г. Информатика и ИКТ. Основы математической логики. 10-11 классы: пособие для учащихся общеобразоват. учреждений/ А.Г.Гейн. – М.: просвещение, 2012. – 97с.: ил. • http://book.kbsu.ru/theory/chapter5/1_5_12.html