A subsystem of Logisim called Combinational Analysis can convert between regular logic circuits and their corresponding Boolean expressions and truth tables. The module includes algorithms for performing conversions among these three representations in all directions.
Opening Combinational Analysis
Editing the truth table
Creating expressions
Generating a circuit