748
правок
Изменения
→Принцип работы
==Принцип работы==
Пусть <tex>u</tex> и <tex>v</tex> {{---}} два полюса контактной схемы, определяющую функцию <tex>g(x^n)</tex>. Тогда <tex>g(x^n)</tex> принимает значение <tex>1</tex> при таком наборе значений переменных, если можно добраться из <tex>u</tex> в <tex>v</tex> по замкнутым контактам.
Пусть <tex>u</tex> и <tex>v</tex> {{---}} два полюса контактной схемы <tex>S</tex>, <tex>[u,v]</tex> {{---}} некоторая цепь, соединяющая <tex>u</tex> и <tex>v</tex>, <tex>K(u,v)</tex> {{---}} конъюнкция букв прописанных на ребрах <tex>[u,v]</tex>. Пусть функция <tex>f(x^n)</tex> определяется формулой: <tex>f(x^n)={\bigvee\limits_{[u,v]} (K(u,v))}</tex> в которой дизъюнкция берется по всем простым цепям схемы, соединяющие полюса <tex>u</tex> и <tex>v</tex>. Говорят, что схема <tex>S</tex> реализует функцию <tex>g(x^n)</tex>, если <tex>f(x^n)=g(x^n)</tex>.
