In the following link
you will find a graphical tool for designing and simulating combinational and synchronous circuits.
Some examples of implementation using Logisim (download the file and open it using Logisim):
- The 3-bit carry function. This function appears on Chapter 1, 15, etc.
- The AND(4) function. This function appears on Chapter 12, 13, etc.
- The DECODER(3) function. This function appears on Chapter 13, etc.