digital circuits with reductions and virtual circuits for Logisim