Abstract:
We consider a problem of implementation of Boolean functions by irredundant two-pole contact circuits which allow short single fault detection tests regarding breaks and closures of contacts. We describe all functions which the minimal length of such a test equals 0, 1, 2, and 3 for. We prove that, for almost all Boolean functions on n variables, this length equals 4.