Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,308 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
2008
2008
Correlation between crustal high conductivity zones and seismic activity and the role of carbon during shear deformation
P. Glover
,
A. Ádám
2008
Corpus ID: 140638882
[1] The electrical conductivity of the lower crust is anomalously high in many locations around the world. Well-interconnected…
Expand
2008
2008
Classifying points for sweeping solids
H. Erdim
,
H. Ilies
Comput. Aided Des.
2008
Corpus ID: 15575171
2007
2007
Eating Disorders and Obesity as Social Justice Issues:Implications for Research and Practice
S. Russell-Mayhew
2007
Corpus ID: 165091337
The purpose of this paper is to explore the usefulness of considering eating disorders and obesity as social justice issues…
Expand
2007
2007
Treplica : Ubiquitous Replication
G. M. D. Vieira
,
L. E. Buzato
2007
Corpus ID: 9263205
This paper describes Treplica, a tool designed for ubiquitous replication. Most of the software tools created so far to aid in…
Expand
2007
2007
A new modal logic for reasoning about space: spatial propositional neighborhood logic
Antonio Morales Nicolás
,
Isabel Navarrete
,
G. Sciavicco
Annals of Mathematics and Artificial Intelligence
2007
Corpus ID: 8068256
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of…
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
1998
1998
Tabu search for resource-constrained scheduling
M.G.A. Verhoeven
European Journal of Operational Research
1998
Corpus ID: 206077283
1996
1996
Fixed-Point Operations on ccc's. Part I
S. Bloom
,
Z. Ésik
Theoretical Computer Science
1996
Corpus ID: 35549379
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
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