Bashirov A.V. and Smirnov L.S. 2023. Using the comparison of truth tables in designing of digital circuitry devices (by the example of the single-digit adder). Theoretical Hypotheses and Empirical Results. 3 (May 2023).