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)”. Theoretical Hypotheses and Empirical Results, no. 3, May 2023, https://ojs.publisher.agency/index.php/THIR/article/view/1519.