On the length of checking test for repetition-free functions in the basis {0, 1, &, ∨, ¬}
In this paper, we present upper and lower linear bounds for the Shannon function for length of checking tests for repetition-free functions in the basis {0, 1, &, ∨, ¬}.