Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

functional completeness · Vinony

🌐English

English Español Italiano Polski Português Русский فارسی 中文日本語

EntityQ2348801· pop 10· linked from 87 articles

functional completeness

Also known as functionally complete

property of a set of logical connectives which can express all possible truth tables by combining members of the set

Available in 10 languages

Español
中文
Русский
Português
Italiano
Danish
Polski
Ukrainian
فارسی

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Boolean algebra Charles Sanders Peirce Logic in computer science Propositional calculus

Sources

wikipedia.externallinksexternallink

logic gate

Entity

propositional calculus

Russell's paradox

first-order logic

Boolean algebra

semantics of logic

ground expression

International Standard Book Number

programming language

Sign in to save

Similar entities

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

complete theory

Entitydist 0.48

Gödel's incompleteness theorems

Entitydist 0.49

many-valued logic

Entitydist 0.49

normal modal logic

Entitydist 0.52

Lindenbaum–Tarski algebra

Entitydist 0.59

Heyting algebra

Entitydist 0.60

Entitydist 0.61

propositional variable

Entitydist 0.64

Entitydist 0.64

Entitydist 0.64

program synthesis

Entitydist 0.65

constructible function

Entitydist 0.65

What links here87 pages

intuitionistic logic

material implication

Charles Sanders Peirce

logical negation

knowledge representation and reasoning

Boolean circuit

many-valued logic

logical consequence

mathematical logic

existential graph

general-purpose computing on graphics processing units

disjunctive normal form

Semiotic elements and classes of signs