Logic

Gate simulation, combinational circuits, and truth table tools.