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://93.187.165.2/index.php/mpcs/article/view/314.