748
правок
Изменения
Нет описания правки
[[Файл:contact.png||right||200px]]
[[Файл:contactnot.png |right|200px | Отрицание]]
Зафиксируем некоторые значения переменным. Тогда '''замкнутыми''' называются ребра, на которых записана <tex>1</tex>, ребра, на которых записан <tex>0</tex>, называются '''разомкнутыми'''. Зафиксируем две вершины <tex>u</tex> и <tex>v</tex>. Тогда контактная схема вычисляет некоторую функцию <tex>f</tex> между вершинами <tex>u</tex> и <tex>v</tex>, равную <tex>1 </tex> на тех наборах переменных, на которых между <tex>u</tex> и <tex>v</tex> есть путь по замкнутым ребрам.
==Построение контактных схем==
* '''Конъюнкция''' [[Файл:multiply.png | 200px | right | Конъюнкция]]
Результат конъюнкции равен <tex>1 </tex> тогда и только тогда, когда оба операнда равны <tex>1</tex>. В применении к контактным схемам это означает, что
последовательное соединение полюсов соответствует операции конъюнкции.
* '''Дизъюнкция''' [[Файл:disjunction.png | 200 px | right | Дизъюнкция]]
Результат дизъюнкции равен <tex>0 </tex> только в случае, когда оба операнда равны <tex>0</tex>. Несложно догадаться, что в контактных схемах эта операция соответствует параллельному соединению полюсов.
* '''Отрицание'''
