Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,880,391 papers from all fields of science
Search
Sign In
Create Free Account
Functional completeness
Known as:
Adequacy (logic)
, Complete set of Boolean operators
, Sole sufficient operator
Expand
In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Broader (3)
Boolean algebra
Logic in computer science
Propositional calculus
Boolean expression
Circuit satisfiability problem
Digital electronics
Fredkin gate
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Design and Simulation of 2-D 2-Dot Quantum-Dot Cellular Automata Logic
L. Hook
,
Samuel C. Lee
IEEE transactions on nanotechnology
2011
Corpus ID: 37943301
The quantum-dot cellular automata (QCA) computing architecture has been proposed to not only offer scalability to the molecular…
Expand
2006
2006
Theory of Clones and Formalized Design of Programs
A. Doroshenko
,
G. Tseytlin
,
O. Yatsenko
,
Lubov Zachariya
2006
Corpus ID: 19824975
The paper is devoted to the theory of clones which is a promising approach to the challenge of program design automation in the…
Expand
2002
2002
Non-Silicon Non-Binary Computing : Why not ?
E. Dubrova
,
Yusuf Jamal
,
J. Mathew
,
Dymanic Ram Dram
2002
Corpus ID: 1478513
Non-silicon based computing technologies open new possibilities for designing electronic circuits which employ more than two…
Expand
2002
2002
The Problem of Schedule Construction in the Joint Design of Hardware and Software
V. Kostenko
Programming and computer software
2002
Corpus ID: 6385419
Data structures for direct and parametric representation of schedules are considered and corresponding systems of operations for…
Expand
1999
1999
Supplementary symmetrical logic circuit structure
E. D. Olson
Proceedings 29th IEEE International Symposium on…
1999
Corpus ID: 33555902
The Supplementary Symmetrical Logic Circuit Structure (SUS-LOC) is a fully active, self sustaining architecture intended…
Expand
1996
1996
Fixed-Point Operations on ccc's. Part I
S. Bloom
,
Z. Ésik
Theoretical Computer Science
1996
Corpus ID: 35549379
1995
1995
Tarskian Structured Consequence Relations and Functional Completeness
H. Wansing
Mathematical Logic Quarterly
1995
Corpus ID: 8785889
Many proofs of functional completeness for intuitionistic propositional logic and related systems make use of a higher-level…
Expand
1994
1994
Pluralism of norms and values: on the claim and reception of the universal
J. Klapwijk
1994
Corpus ID: 144990439
By way of introduction I want first to distinguish between several types of pluralism; then I want to consider more closely the…
Expand
1993
1993
Still images retrieval from a remote database: The system Imagine
N. D. Degan
,
R. Lancini
,
P. Migliorati
,
S. Pozzi
Signal processing. Image communication
1993
Corpus ID: 19510405
1963
1963
Design of ACP Resistor-Coupled Switching Circuits
D. Chung
,
John A. Palmieri
IBM Journal of Research and Development
1963
Corpus ID: 5286117
Directly coupled logic circuits utilizing silicon transistors have been developed in the Advanced Circuit Program. Silicon…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE