Software algebra di boole

[VYCanisMajoris]

Salve ragazzi, mi servirebbe un software che mi aiuti a capire meglio degli esercizi sull algebra di boole di cui il mio libro non ha le soluzioni.
In particolare mi servirebbe che:
data una espressione di boole lui mi restituisca tabella di verità(con mintermini) e circuito
dato un circuito mi restituisca espressione di boole e tabella di verità(con mintermini)
data un espressione di boole/circuito mi restituisca in forma più semplice (con tutti i passaggi) l'espressione/circuito

Grazie!

[freax]

tipo così?

http://www.wolframalpha.com/input/?i=1+ ... 7C+0+%21+1

hai provato logisim ? http://ozark.hendrix.edu/~burch/logisim/