Digital Logic Design is an educational and reference application that teaches users the fundamentals of digital logic, such as Boolean algebra, combinational logic, and sequential logic, as well as how to design and implement digital logic circuits. It covers topics such as logic gates, Boolean algebra, K-Maps, flip-flops, state machines, and digital arithmetic, among others. It provides interactive tutorials, quizzes, and practice problems to help users understand and apply these concepts to real-world applications. The app also allows users to create simulated models of logic circuits to test their designs and to build more complex digital systems.
Discontinued http://www.cburch.com/logisim/retire-note.html