Simulation
Logic Expression Simulator
Draw truth tables, Boolean algebraic forms, combined and separate logic circuits, ASTs, SOP, POS, simplification steps, and Karnaugh maps from logic expressions.
Number of Outputs
Default is one output. You can use up to 6 outputs. Supported operators: AND, OR, NOT, NAND, NOR, XOR, +, ·, *, !, ~, apostrophe notation, and brackets.
Quick Examples
Output Expression
Variables
A, B, C
3 input variable(s)
Rows
8
2^3 combinations
Simplified OUT
C + AB
Final equation
Boolean Algebraic Form
OUT = ((A · B) + C)
All inputs are on the left. All selected outputs are drawn on the right. Hover over a gate to see its Boolean expression.
| Minterm | A | B | C | OUT |
|---|---|---|---|---|
| m0 | 0 | 0 | 0 | 0 |
| m1 | 0 | 0 | 1 | 1 |
| m2 | 0 | 1 | 0 | 0 |
| m3 | 0 | 1 | 1 | 1 |
| m4 | 1 | 0 | 0 | 0 |
| m5 | 1 | 0 | 1 | 1 |
| m6 | 1 | 1 | 0 | 1 |
| m7 | 1 | 1 | 1 | 1 |
This version shows intermediate gate/sub-expression outputs.
| Minterm | A | B | C | (A · B) | ((A · B) + C) | OUT |
|---|---|---|---|---|---|---|
| m0 | 0 | 0 | 0 | 0 | 0 | 0 |
| m1 | 0 | 0 | 1 | 0 | 1 | 1 |
| m2 | 0 | 1 | 0 | 0 | 0 | 0 |
| m3 | 0 | 1 | 1 | 0 | 1 | 1 |
| m4 | 1 | 0 | 0 | 0 | 0 | 0 |
| m5 | 1 | 0 | 1 | 0 | 1 | 1 |
| m6 | 1 | 1 | 0 | 1 | 1 | 1 |
| m7 | 1 | 1 | 1 | 1 | 1 | 1 |
Hover over any gate to see the Boolean expression represented by that gate.