logisim_truth_table
Simulate all input-pin combinations for a Logisim circuit (up to 16 bits) to generate a truth table for outputs, LEDs, and probes plus minimal DNF/CNF formulas for 1-bit outputs.
Instructions
Simulate every combination of the input pins (max 16 bits; multi-bit pins count all their bits) and return the truth table of all outputs, LEDs and probes, plus the minimal DNF/CNF formula of each 1-bit output.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | Path to the .circ file (absolute, or relative to the working folder) | |
| circuit | No | Circuit inside the file (default: the main circuit) | |
| formulas | No | Derive minimal formulas (default true) | |
| max_rows | No | Rows to print (default 64) |