Single fault detection tests for logic networks in the basis “conjunction-negation”