Digital logic (gates / K-map / truth table)
Native digital-logic engine — three modes in one. `type gates` for IEC-style gate schematics (AND, OR, NOT, NAND, NOR, XOR, XNOR, BUF), `type kmap` for 2-4 variable Karnaugh maps with Gray-coded rows / columns and highlighted 1-cells, `type truthtable` for full truth tables with output-coloured cells. Covers the EE / CS undergraduate digital-logic curriculum.
In the same space
Most users come to Digital logic (gates / K-map / truth table) from Logisim sketches or Textbook digital-logic figures. Glyph runs this engine in the browser — no install, shareable via URL, exportable to PNG / SVG / PDF / source.
Syntax at a glance
type gates
input A at (0,0)
gate AND G1 at (3,0)
output Y at (6,0)
wire A G1
wire G1 YPaste this in the Studio code pane to see Digital logic (gates / K-map / truth table) render live. The full grammar is at the upstream-docs link above.
Sample templates
All 65 →Two-input half adder with XOR (sum) and AND (carry).
Cross-coupled NAND SR latch.
2-variable K-map for the XOR function.
Majority function K-map (3 variables).
Truth table for A implies B.
One-bit full adder built from two XOR, two AND and one OR gate.
logic · ← Browse all engines · Quick-start guide