Изменения

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

Пусть <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>.