Paste or load any combinational circuit and get its truth table, a minimized boolean expression via Quine-McCluskey, and the simpler equivalent circuit.