You can download the program featured on the link below, and find the minterms of just about any logic expression you care to key in. From the minterms, you can simplify the expression with a Karnaugh map if necessary. It won't show you the derivation of the minterms, but you can use it to check your worked out answer. If the minterms of your simplification do not match the original problem, then your solution is wrong.