Построение контактных схем, свободных от вирусов

Рассматриваются релейно-контактные схемы, строящиеся на базе контактов, работа которых описывается функциями алгебры логики с несобственными параметрами $z_1,\dots,z_m$ и булевой переменной $x$, управляющей обмоткой реле. Строятся контактные схемы, свободные от влияния внешних факторов, индикаторами которых являются $z_1,\dots,z_m$.