Zaslavsky, I. D. . “Classical and Non-Classical Logic, Logical Methods for Electronic Circuits Testing”. Mathematical Problems of Computer Science, vol. 34, Dec. 2021, pp. 33-34, http://mpcs.sci.am/index.php/mpcs/article/view/314.