Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Tseytin transformation · Vinony

🌐English

English Deutsch Français Nederlands Português فارسی

EntityQ2315059· pop 6· linked from 8 articles

Tseytin transformation

Also known as Tseitin transformation

operation in Boolean circuit theory

Available in 6 languages

Français
Deutsch
Português
Nederlands
فارسی

via Wikidata sitelinks · CC0

Connections

distributive property

Categories

Logic gates Logic in computer science

Sources

wikipedia.externallinksexternallink

De Morgan's laws

Entity

combinational logic

boolean satisfiability problem

conjunctive normal form

Boolean expression

equisatisfiability

Gregory S. Tseytin

Sign in to save

What links here8 pages

Gregory S. Tseytin

boolean satisfiability problem

conjunctive normal form

combinational logic

equisatisfiability

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Boolean circuit

Entitydist 0.39

Boolean differential calculus

Entitydist 0.40

Symmetric Boolean function

Entitydist 0.44

Shannon's expansion

Entitydist 0.45

Entitydist 0.48

Boolean function

Entitydist 0.51

Stone's representation theorem for Boolean algebras

Entitydist 0.51

Boolean-valued function

Entitydist 0.55

Boord olefin synthesis

Entitydist 0.61

method of analytic tableaux

Entitydist 0.62

Majority function

Entitydist 0.62

standard Boolean model

Entitydist 0.69