Контактная схема — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Построение контактных схем)
(Построение контактных схем)
Строка 12: Строка 12:
 
Любую контактную схему можно представить в виде комбинации 3 логических элементов:  
 
Любую контактную схему можно представить в виде комбинации 3 логических элементов:  
  
* '''Конъюнкция'''
+
* '''Конъюнкция''' [[Файл:multiply.png | 200px | right ]]
 
Результат конъюнкции равен 1 тогда и только тогда, когда оба операнда равны 1. В применении к контактным схемам это означает, что
 
Результат конъюнкции равен 1 тогда и только тогда, когда оба операнда равны 1. В применении к контактным схемам это означает, что
 
последовательное соединение полюсов соответствует операции конъюнкции.
 
последовательное соединение полюсов соответствует операции конъюнкции.
[[Файл:multiply.png]]
+
 
* '''Дизъюнкция'''
+
* '''Дизъюнкция''' [[Файл:disjunction.png | 200 px | right]]
 
Результат дизъюнкции равен 0 только в случае, когда оба операнда равны 0. Несложно догадаться, что в контактных схемах эта операция соответствует параллельному соединению полюсов.
 
Результат дизъюнкции равен 0 только в случае, когда оба операнда равны 0. Несложно догадаться, что в контактных схемах эта операция соответствует параллельному соединению полюсов.
  
 
* '''Отрицание'''
 
* '''Отрицание'''
 
Отрицание - это унарная операция, поэтому, чтобы показать её на контактной схеме достаточно написать над контактом знак отрицания.
 
Отрицание - это унарная операция, поэтому, чтобы показать её на контактной схеме достаточно написать над контактом знак отрицания.

Версия 16:54, 8 декабря 2013

Определение:
Контактная схема представляет собой ориентированный ациклический граф, на каждом ребре которого написана переменная или ее отрицание (ребра в контактных схемах называют контактами, а вершины - полюсами).


Принцип работы

Contact.png
Contactnot.png

Зафиксируем некоторые значения переменным. Тогда замкнутыми называются ребра, на которых записана 1, ребра, на которых записан 0, называются разомкнутыми. Зафиксируем две вершины [math]u[/math] и [math]v[/math]. Тогда контактная схема вычисляет некоторую функцию [math]f[/math] между вершинами [math]u[/math] и [math]v[/math], равную 1 на тех наборах переменных, на которых между [math]u[/math] и [math]v[/math] есть путь по замкнутым ребрам.

Построение контактных схем

Любую контактную схему можно представить в виде комбинации 3 логических элементов:

  • Конъюнкция
    Multiply.png

Результат конъюнкции равен 1 тогда и только тогда, когда оба операнда равны 1. В применении к контактным схемам это означает, что последовательное соединение полюсов соответствует операции конъюнкции.

  • Дизъюнкция
    Disjunction.png

Результат дизъюнкции равен 0 только в случае, когда оба операнда равны 0. Несложно догадаться, что в контактных схемах эта операция соответствует параллельному соединению полюсов.

  • Отрицание

Отрицание - это унарная операция, поэтому, чтобы показать её на контактной схеме достаточно написать над контактом знак отрицания.