Bashirov A.V. and Smirnov L.S., “Using the comparison of truth tables in designing of digital circuitry devices (by the example of the single-digit adder)”, THIR, no. 3, May 2023.