Schematica logical simulator converts a logical sentence into corresponding truth table and OR/AND/NOT circuit diagram.
The resulting circuit schematic can simulate different logical states. Press corresponding pin buttons to switch between states.
The program supports up to four variables (inputs, DI pins) and one output (DO pin).
Espresso Optimizer shows automatically re-factored logical statement. Sometimes (but not always) its output is smaller than input.