Bashirov A.V.; Smirnov L.S. Using the Comparison of Truth Tables in Designing of Digital Circuitry Devices (by the Example of the Single-Digit Adder). THIR 2023.