Logisim-evolution is a completely free and open-source educational, cross-platform software for designing and simulating digital logic circuits.
Project highlights:
Indispensable logic circuit designer with everything you need, being both intuitive for small work and capable for complex circuits. It is heavily used in university contexts, and excels as an educational tool. Thanks!