About: Functional completeness

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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

Property	Value
dbo:description	property of a set of logical connectives which can express all possible truth tables by combining members of the set (en)
dbo:wikiPageWikiLink	dbr:Henry_M._Sheffer dbr:Digital_electronics dbc:Boolean_algebra dbc:Propositional_calculus dbr:Lattice_(order) dbr:Majority_function dbr:Set_(mathematics) dbr:NOR_gate dbr:Propositional_logic dbr:Truth_table dbr:Singleton_(mathematics) dbr:Quantum_logic_gate dbr:Post's_lattice dbc:Logic_in_computer_science dbr:Toffoli_gate dbr:Logical_conjunction dbr:Arity dbr:Clone_(algebra) dbr:Boolean_algebra_(structure) dbr:Isomorphism dbr:Logical_NOR dbr:NAND_gate dbr:Quantum_computing dbr:Subset dbr:Charles_Sanders_Peirce dbr:Logical_connective dbr:Negation dbr:Truth_value dbr:Logical_biconditional dbr:Fredkin_gate dbr:Mathematical_logic dbr:Unary_operation dbr:Universal_set dbr:Material_conditional dbr:Emil_Leon_Post dbr:Hadamard_gate dbr:Boolean_expression dbr:Sheffer_stroke dbr:Boolean_algebra dbr:Logic_gate dbr:Boolean_domain dbr:Affine_transformation dbr:Boolean_function dbr:Logical_disjunction dbr:Algebra_of_sets dbr:Logical_NAND dbr:Monotonic dbr:De_Morgan_dual dbr:Reversible_computation dbr:Russell's_Paradox dbr:Universal_logic_gate
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Reflist dbt:Further dbt:Mathematical_logic dbt:Logical_connectives_sidebar dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Boolean_algebra dbc:Propositional_calculus dbc:Logic_in_computer_science dbc:Charles_Sanders_Peirce
rdfs:label	Functional completeness (en) Completitud funcional (es) Base di connettivi (it) Completude funcional (pt) System funkcjonalnie pełny (pl) Функциональная полнота (ru) Функціональна повнота (uk) 自足算子 (zh)
owl:sameAs	freebase:Functional completeness wikidata:Functional completeness dbpedia-it:Functional completeness dbpedia-zh:Functional completeness dbpedia-pt:Functional completeness dbpedia-da:Functional completeness dbpedia-es:Functional completeness dbpedia-fa:Functional completeness dbpedia-ru:Functional completeness dbpedia-pl:Functional completeness dbpedia-hy:Functional completeness dbpedia-uk:Functional completeness dbpedia-global:Functional completeness
prov:wasDerivedFrom	wikipedia-en:Functional_completeness?oldid=1269204712&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Functional_completeness
is dbo:wikiPageRedirects of	dbr:Adequacy_(logic) dbr:Expressive_adequacy dbr:Functionally_complete dbr:Sole_sufficient_operator dbr:Complete_set_of_Boolean_operators dbr:Post's_functional_completeness_theorem dbr:Sufficiently_connected
is dbo:wikiPageWikiLink of	dbr:Index_of_philosophy_articles_(D–H) dbr:Automata_theory dbr:List_of_quantum_logic_gates dbr:NAND_logic dbr:NOR_gate dbr:Adder_(electronics) dbr:Truth_table dbr:Hans_Kamp dbr:Quantum_logic_gate dbr:Timeline_of_quantum_computing_and_communication dbr:Frege_system dbr:Post's_lattice dbr:Knowledge_representation_and_reasoning dbr:Toffoli_gate dbr:NOR_logic dbr:Completeness_(logic) dbr:Boolean_circuit dbr:Implicational_propositional_calculus dbr:Logical_NOR dbr:NAND_gate dbr:List_of_pioneers_in_computer_science dbr:Charles_Sanders_Peirce dbr:Domino_computer dbr:Logical_connective dbr:Many-valued_logic dbr:Reversible_computing dbr:General-purpose_computing_on_graphics_processing_units dbr:Laws_of_Form dbr:Truth_function dbr:DE-9IM dbr:Emil_Leon_Post dbr:Sheffer_stroke dbr:Logic_alphabet dbr:Boolean_algebra dbr:Logic_gate dbr:Little_Computer_3 dbr:List_of_Boolean_algebra_topics dbr:Boolean_function dbr:Circuit_satisfiability_problem dbr:Predicate_functor_logic dbr:Boolean_algebras_canonically_defined dbr:Outline_of_logic dbr:Quantum_Computing:_A_Gentle_Introduction dbr:Adequacy_(logic) dbr:Expressive_adequacy dbr:Functionally_complete dbr:Sole_sufficient_operator dbr:Complete_set_of_Boolean_operators dbr:Post's_functional_completeness_theorem dbr:Sufficiently_connected
is foaf:primaryTopic of	wikipedia-en:Functional_completeness