Single tests for contacts

We examine problems of operability checking and state diagnosis of $N$ contacts by means of composition two-pole contact circuits of them and observation of values produced by these circuits on any value sets of input variables. Break or closing of any single contact is permitted. It is needed to minimize a number of circuits required for operability checking and determination of states of all contacts. Exact values of the minimal possible number of mentioned circuits are obtained.