"Информатика (в 2-х частях)", Горячев А.В., Островский С.Л., Паволоцкий А.В., Семёнов А.А., Чернышёва Т.Л., Широков Д.В.
Релейно-контактная схема показывает логическую формулу с помощью электрических контактов. По состоянию переменных можно определить, замкнётся ли цепь: замкнутая цепь соответствует истинному значению формулы, разомкнутая — ложному. Конъюнкции отвечают последовательные соединения, дизъюнкции — параллельные, а отрицанию — нормально замкнутый контакт. Такое представление помогает наглядно понять работу логических устройств и служит основой для построения цифровых схем.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Релейно-контактная схема — электрическая схема из контактов, соединённых так, чтобы её работа соответствовала логической формуле. Её рассматривают как наглядную модель: при заданных значениях переменных цепь либо замыкается, либо остаётся разомкнутой. Сопоставляя это состояние с истинностью формулы, можно понять, правильно ли схема передаёт логическую операцию. Такие схемы помогают представить работу логических устройств через знакомые электрические соединения.
Контакт — элемент схемы, который замыкает или размыкает электрическую цепь в зависимости от состояния управляющей переменной. Переменная управляет реле, то есть устройством, меняющим положение контакта. Поэтому каждому логическому значению можно поставить в соответствие определённое состояние цепи. Контакты соединяют между собой, чтобы схема выполняла нужную логическую функцию.
Нормально разомкнутый контакт замкнут, когда соответствующая переменная истинна, и разомкнут, когда она ложна. Например, если A = 1, контакт A пропускает ток, а при A = 0 ток через него не проходит. Такой элемент передаёт значение переменной без изменения. Его используют для записи переменной в схеме.
Нормально замкнутый контакт разомкнут при истинной переменной и замкнут при ложной. Значит, он проводит ток именно тогда, когда управляющая переменная не сработала. Это позволяет изобразить противоположное значение переменной — её отрицание. Например, контакт для ¬A замкнётся при A = 0 и разомкнётся при A = 1.
Чтобы связать логику с электрической схемой, заранее договариваются, что истинное значение переменной соответствует срабатыванию управляющего реле, а ложное — его отсутствию. Без такого правила было бы непонятно, в каком положении должен находиться контакт при каждом значении. Затем выбирают тип контакта в зависимости от того, нужно передать переменную или её отрицание. Замыкание всей цепи принимают за истинность формулы, а разрыв — за её ложность.
Конъюнкция означает, что одновременно должны выполняться все условия. Поэтому контакты для переменных соединяют последовательно: ток пройдёт через такую цепь, только если каждый участок проводит ток. Если хотя бы одна переменная ложна, соответствующий нормально разомкнутый контакт остаётся разомкнутым, и цепь прерывается. Так последовательное соединение точно передаёт смысл операции «и».
Дизъюнкция означает, что достаточно выполнения хотя бы одного условия. Её изображают параллельными ветвями, каждая из которых отвечает за свою переменную или часть формулы. Если хотя бы одна ветвь замкнута, ток может пройти через неё, даже когда другая ветвь разомкнута. Поэтому параллельное соединение соответствует операции «или».
Отрицание меняет значение переменной на противоположное: истинное становится ложным, а ложное — истинным. Нормально замкнутый контакт отражает эту перемену, потому что при ложном значении он замкнут, а при истинном размыкается. Если использовать нормально разомкнутый контакт, он передаст исходное значение, а не обратное. Следовательно, для ¬A нужен контакт, состояние которого противоположно состоянию A.
Сложную формулу строят по её структуре, а не соединяют контакты наугад. Сначала находят скобки и определяют, какие операции выполняются внутри них; для этих частей собирают отдельные участки схемы. Потом соединяют участки по внешним операциям, выбирая последовательное или параллельное соединение. Такой порядок сохраняет смысл формулы и не позволяет случайно изменить очередность вычислений.
| Операция | Логическая запись | Элемент релейно-контактной схемы | Когда цепь замкнута |
|---|---|---|---|
| Конъюнкция | A ∧ B | Последовательное соединение нормально разомкнутых контактов | Когда истинны все переменные |
| Дизъюнкция | A ∨ B | Параллельное соединение нормально разомкнутых контактов | Когда истинна хотя бы одна переменная |
| Отрицание | ¬A | Нормально замкнутый контакт | Когда A ложна |
Сначала найдите в таблице логическую операцию, затем сопоставьте её записи нужное соединение или тип контакта. Учитывайте, что таблица описывает работу при принятом соглашении: истинной переменной соответствует срабатывание реле. Для сложной формулы применяйте несколько строк таблицы, собирая схему по частям.
Нужно изобразить условие, при котором истинны одновременно A и B. Для каждой переменной выбираем нормально разомкнутый контакт: он замкнётся при истинном значении своей переменной. Поскольку требуется конъюнкция, контакты должны быть соединены последовательно. Если хотя бы один из них разомкнут, вся цепь прервётся.
Ответ: формуле A ∧ B соответствует последовательное соединение нормально разомкнутых контактов A и B.
В формуле две части, объединённые дизъюнкцией: отрицание A и переменная B. Дизъюнкция требует параллельных ветвей, поскольку для замыкания достаточно одной работающей ветви. В ветви ¬A нужен нормально замкнутый контакт, а в ветви B — нормально разомкнутый. Так схема сохранит и смысл отрицания, и смысл «или».
Ответ: параллельно соединённые ветви с нормально замкнутым контактом A и нормально разомкнутым контактом B.
Скобки показывают, что сначала объединяются A и B операцией конъюнкции. Получившаяся часть формулы затем соединяется дизъюнкцией с ¬C. Значит, схему нужно составить из двух параллельных ветвей: последовательного участка для A ∧ B и контакта для ¬C. При проверке заданных значений оцениваем каждую ветвь отдельно.
Ответ: цепь замкнута, а значение формулы истинно. Это совпадает с вычислением: (1 ∧ 0) ∨ ¬0 = 0 ∨ 1 = 1.
Если конъюнкцию изобразить параллельными контактами, цепь замкнётся уже при истинности одной переменной. Такую ошибку допускают, путая соединение для «и» с соединением для «или». Проверьте крайний случай: при A = 1 и B = 0 формула A ∧ B ложна, поэтому схема тоже должна быть разомкнута.
Если дизъюнкцию изобразить последовательными контактами, для замыкания цепи потребуется истинность всех переменных. Это происходит из-за переноса правила конъюнкции на операцию «или». Для проверки возьмите A = 1 и B = 0: A ∨ B истинна, значит, параллельная схема должна замкнуться.
Для отрицания иногда выбирают нормально разомкнутый контакт, потому что он привычен для обычной переменной. Но он передаёт значение A без инверсии, поэтому при A = 1 пропускает ток, тогда как ¬A должно быть ложным. Чтобы проверить выбор контакта, подставьте по очереди 0 и 1 и сравните его состояния со значениями ¬A.
Игнорирование скобок приводит к тому, что части формулы соединяются не в том порядке, а схема начинает выражать другую функцию. Причина ошибки — попытка сразу собрать всю конструкцию, не выделяя подформулы. Сначала постройте участки внутри скобок, затем соедините их внешней операцией. В конце полезно проверить схему на наборе значений переменных и сравнить результат с формулой.
Для построения схем нужны знания логических операций, их обозначений и таблиц истинности: они помогают выбрать соединение и контакт. Умение вычислять сложные формулы по значениям переменных позволяет проверить уже собранную схему. Сопоставление формулы и электрической цепи связывает абстрактную логику с работой устройств. Позже этот способ представления пригодится при изучении логических узлов компьютера и построении цифровых схем.
Как понять, какой контакт соответствует истинному значению переменной?
Истинное значение переменной принимают за срабатывание управляющего реле, а ложное — за его отсутствие. У нормально разомкнутого контакта при этом истинная переменная замыкает цепь.
Почему конъюнкцию изображают последовательным соединением?
В последовательной цепи ток проходит, только если замкнут каждый контакт. Поэтому схема для A ∧ B замкнётся лишь тогда, когда истинны и A, и B.
Чем нормально замкнутый контакт отличается от нормально разомкнутого?
Нормально разомкнутый контакт проводит ток при истинной управляющей переменной, а при ложной разомкнут. Нормально замкнутый действует наоборот: проводит при ложной переменной и размыкается при истинной.
Как изобразить в схеме отрицание переменной?
Для отрицания используют нормально замкнутый контакт. Он замкнут, когда переменная ложна, то есть цепь соответствует значению ¬A.
Как построить схему, если в формуле есть скобки?
Сначала выделите операции внутри скобок и постройте соответствующую им часть схемы. Затем соедините готовые участки в порядке выполнения операций, учитывая отрицания и внешние скобки.
§ 7. Представление логической формулы в виде релейно-контактной схемы
