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 April 19, 2024. http://mpcs.sci.am/index.php/mpcs/article/view/314.