Zaslavsky, I. D. “Classical and Non-Classical Logic, Logical Methods for Electronic Circuits Testing”. Mathematical Problems of Computer Science 34 (December 10, 2021): 33–34. Accessed February 23, 2025. http://93.187.165.2/index.php/mpcs/article/view/314.