Zaslavsky, I. D. . Classical and Non-Classical Logic, Logical Methods for Electronic Circuits Testing. MPCS 2021, 34, 33-34.