Logic Gate Sim

Simulate gates, evaluate boolean algebra, and view truth tables.

Parameters

Select Gate

Inputs

A

1

B

1

Expression (e.g. A AND (B OR NOT C))

AND / & OR / | NOT / ! XOR / ^ NAND NOR XNOR

Scroll the right pane to view all standard gate truth tables.

Output

1

HIGH

Digital Logic & Boolean Algebra Handbook

Mathematical Principles & Theorems

Simulates propositional logic circuits over \(\{0, 1\}\). Governed by Boolean algebraic identities: De Morgan's Laws (\(\overline{A \land B} = \bar{A} \lor \bar{B}\), \(\overline{A \lor B} = \bar{A} \land \bar{B}\)), idempotence (\(A \land A = A\)), absorption (\(A \lor (A \land B) = A\)), and involution (\(\overline{\bar{A}} = A\)). NAND and NOR form functionally complete universal gate sets capable of synthesizing any combinational circuit.

Operating Instructions

Select or place logic gates: AND, OR, NOT, NAND, NOR, XOR, XNOR.
Toggle input logic states (0 or 1) by clicking input terminals.
Observe dynamic signal propagation and high/low voltage color coding through wires and gate junctions.
Consult the live truth table readout to verify output state consistency.