RUS  ENG
Full version
JOURNALS // Intelligent systems. Theory and applications // Archive

Intelligent systems. Theory and applications, 2020 Volume 24, Issue 1, Pages 143–152 (Mi ista263)

Part 3. Mathematical models

Short single diagnostic tests for contact circuits under breaks and closures of contacts

K. A. Popkov

Keldysh Institute of Applied Mathematics RAS

Abstract: We prove that almost any Boolean function on $n$ variables can be implemented by an irredundant two-pole contact circuit allowing a single diagnostic test of length 8 regarding breaks and closures of contacts.

Keywords: contact circuit, Boolean function, contact break, contact closure, single diagnostic test.



© Steklov Math. Inst. of RAS, 2025