About: Truth table

Property	Value
dbo:description	Mathematical table used in logic (en) représentation d'expressions logiques (fr) tabella usata nella logica (it) tablica wartości funkcji zdaniowej (pl) táboa matemática usada en lóxica que estabelece os valores funcionais das expresións lóxicas en cada un dos seus argumentos funcionais (gl) propositiologiikassa käytettävä taulukko, jossa on lueteltu tutkittava lause ja sen alikaavat (fi) Μαθηματικό Πλαίσιο Λογικής (el) Tabellarische Aufstellung des Wahrheitswertverlaufs einer logischen Aussage (de) যুক্তিবিজ্ঞান্র ব্যবহৃত গাণিতিক সারণী (bn)
dbo:thumbnail	wiki-commons:Special:FilePath/Multiplexer_4-to-1.svg?width=300
dbo:wikiPageExternalLink	http://sites.millersville.edu/bikenaga/math-proof/truth-tables/truth-tables.html http://www.allaboutcircuits.com/vol_4/chpt_7/9.html
dbo:wikiPageWikiLink	dbr:Functional_completeness dbr:Bit dbr:If_and_only_if dbr:Converse_nonimplication dbr:Logical_disjunction dbc:Mathematical_tables dbc:Conceptual_models dbc:Propositional_calculus dbr:Bertrand_Russell dbr:Binary_number dbr:Logic dbr:Ludwig_Wittgenstein dbr:Software dbr:Tractatus_Logico-Philosophicus dbr:Exclusive_or dbr:Electronic_design_automation dbr:Integer dbr:Logical_connective dbr:Proposition dbr:Propositional_calculus dbr:Charles_Sanders_Peirce dbr:Commutative_property dbr:Lookup_table dbr:Binary_decision_diagram dbr:Logical_equivalence dbr:Expression_(mathematics) dbr:Method_of_analytic_tableaux dbr:Truth_function dbr:Logical_NOR dbr:Associative_property dbr:De_Morgan's_laws dbr:Contradiction dbr:Boolean_function dbr:Mathematical_table dbr:Valuation_(logic) dbr:Logic_gate dbr:Logical_biconditional dbr:Material_nonimplication dbr:Validity_(logic) dbr:Material_conditional dbr:First-order_logic dbr:Logical_conjunction dbr:Negation dbr:Venn_diagram dbc:Boolean_algebra dbr:Exponential_growth dbr:Tautology_(logic) dbr:Converse_implication dbr:Emil_Leon_Post dbr:Identity_function dbr:Truth_value dbr:Double_exponential_function dbr:American_Journal_of_Mathematics dbr:Logical_equality dbr:Boolean_domain dbr:Logical_graph dbr:Tee_(symbol) dbc:Semantics dbr:Duality_principle_(Boolean_algebra) dbr:Boolean_logic dbr:Boolean-valued_function dbr:Irving_Anellis dbr:Excitation_table dbr:Karnaugh_maps dbr:Verso dbr:Logical_NAND dbr:Array_data_structure dbr:Binary_numeral_system dbr:C.S._Peirce dbr:Digital_circuit dbr:Binary_variable dbr:Left_identity dbr:Projection_function dbr:Publicad dbr:Full_adder dbr:Biconditional dbr:Exclusive_disjunction dbr:Exclusive_nor dbr:Falsum dbr:Logical_value dbr:Logically_equivalent dbr:Boolean_algebra_(logic) dbr:XOR dbr:Right_identity dbr:Logical_conditional dbr:Logical_negation dbr:Logical_operation dbr:Sole_sufficient_operator dbr:Peirce_arrow
dbp:id	p/t094370 (en)
dbp:title	Truth table (en)
dbp:wikiPageUsesTemplate	dbt:Diagrams_in_logic dbt:Portal dbt:Cite_book dbt:Classical_logic dbt:Failure dbt:Logical_connectives_sidebar dbt:Mathematical_logic dbt:Success dbt:Abbr dbt:Authority_control dbt:Color_box dbt:Div_col dbt:Div_col_end dbt:E dbt:GBurl dbt:Math dbt:Mvar dbt:N/A dbt:Nobold dbt:Reflist dbt:Short_description dbt:Springer dbt:Strong dbt:Times dbt:Tmath dbt:Val dbt:Commons_category dbt:Yan
dct:subject	dbc:Mathematical_tables dbc:Conceptual_models dbc:Propositional_calculus dbc:Boolean_algebra dbc:Semantics
gold:hypernym	dbr:Table
rdf:type	owl:Thing owl:Thing
rdfs:label	Truth table (en) Tabulka pravdivostních hodnot základních složených výroků (cs) Taula de veritat (ca) Pravdivostní tabulka (cs) Πίνακας αληθείας (el) جدول الحقيقة (ar) Vertabelo (eo) Wahrheitstabelle (de) Tabla de verdad (es) Egia-taula (eu) Tabella della verità (it) Table de vérité (fr) Tabel kebenaran (in) 真理値表 (ja) 진리표 (ko) Tabela-verdade (pt) Waarheidstabel (nl) Tablica prawdy (pl) Таблиці істинності (uk) Таблица истинности (ru) Sanningsvärdetabell (sv) 真值表 (zh)
owl:sameAs	http://d-nb.info/gnd/7852448-9 freebase:Truth table wikidata:Truth table wikidata:Truth table dbpedia-de:Truth table dbpedia-es:Truth table dbpedia-it:Truth table dbpedia-nl:Truth table dbpedia-pl:Truth table dbpedia-tr:Truth table dbpedia-fr:Truth table dbpedia-da:Truth table dbpedia-he:Truth table dbpedia-ja:Truth table dbpedia-pt:Truth table dbpedia-ru:Truth table dbpedia-zh:Truth table dbpedia-sv:Truth table dbpedia-el:Truth table dbpedia-id:Truth table dbpedia-ko:Truth table dbpedia-ca:Truth table dbpedia-et:Truth table dbpedia-af:Truth table dbpedia-am:Truth table dbpedia-ar:Truth table dbpedia-bn:Truth table dbpedia-cs:Truth table dbpedia-cs:Truth table dbpedia-eo:Truth table dbpedia-eu:Truth table dbpedia-fa:Truth table dbpedia-fi:Truth table dbpedia-hi:Truth table dbpedia-hy:Truth table dbpedia-la:Truth table dbpedia-lv:Truth table dbpedia-mk:Truth table dbpedia-ms:Truth table dbpedia-no:Truth table dbpedia-si:Truth table dbpedia-simple:Truth table dbpedia-sk:Truth table dbpedia-sr:Truth table dbpedia-th:Truth table dbpedia-uk:Truth table dbpedia-global:Truth table yago-res:Truth table
prov:wasDerivedFrom	wikipedia-en:Truth_table?oldid=1309865433&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Multiplexer_4-to-1.svg
foaf:isPrimaryTopicOf	wikipedia-en:Truth_table
is dbo:notableIdea of	dbr:Irving_Copi
is dbo:wikiPageRedirects of	dbr:Truth-table dbr:Truth_Table dbr:Truth_Tables dbr:Truth_tables dbr:Truthtable dbr:Logical_truth_table
is dbo:wikiPageWikiLink of	dbr:Functional_completeness dbr:Holographic_algorithm dbr:List_of_Boolean_algebra_topics dbr:Decidability_(logic) dbr:Heyting_algebra dbr:If_and_only_if dbr:Control_table dbr:Converse_nonimplication dbr:Logic_optimization dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Garbled_circuit dbr:Polynomial-time_reduction dbr:Corresponding_conditional dbr:Field_of_sets dbr:Logical_disjunction dbr:Logical_matrix dbr:Irving_Copi dbr:Law_of_thought dbr:Logic dbr:Ludwig_Wittgenstein dbr:Matrix_(mathematics) dbr:Truth dbr:Physarum_polycephalum dbr:Henry_M._Sheffer dbr:Probabilistic_logic dbr:Exclusive_or dbr:Table_(information) dbr:Discrete_mathematics dbr:Logic_synthesis dbr:Logical_connective dbr:Principia_Mathematica dbr:Propositional_calculus dbr:Propositional_formula dbr:Charles_Sanders_Peirce dbr:Implicational_propositional_calculus dbr:Binary_operation dbr:Commutative_property dbr:Modus_ponens dbr:Modus_tollens dbr:Control_unit dbr:Lookup_table dbr:Binary_decision_diagram dbr:Bitwise_operation dbr:Necessity_and_sufficiency dbr:Randolph_diagram dbr:Inverter_(logic_gate) dbr:Espresso_heuristic_logic_minimizer dbr:Disjunctive_normal_form dbr:Truth_function dbr:DE-9IM dbr:Shea_Zellweger dbr:NOR_gate dbr:AND_gate dbr:Logical_NOR dbr:OR_gate dbr:XOR_gate dbr:Finite-state_machine dbr:Flip-flop_(electronics) dbr:Boolean_algebra_(structure) dbr:Boolean_function dbr:Standard_cell dbr:Cryptanalysis_of_the_Lorenz_cipher dbr:Mathematical_table dbr:Sheffer_stroke dbr:Canonical_normal_form dbr:Bit_blit dbr:Digital_electronics dbr:History_of_computer_science dbr:Karnaugh_map dbr:Kuno_Lorenz dbr:Logic_gate dbr:Switching_circuit_theory dbr:Monoid dbr:Decision_tree dbr:Subtractor dbr:Bent_function dbr:Evolving_digital_ecological_network dbr:Euler_diagram dbr:History_of_computing dbr:Material_conditional dbr:False_(logic) dbr:First-order_logic dbr:Frege's_theorem dbr:Logical_conjunction dbr:Multiplexer dbr:Negation dbr:Venn_diagram dbr:Combinational_logic dbr:Conditioned_disjunction dbr:Natural_proof dbr:Tautological_consequence dbr:Boolean_network dbr:Lorenz_cipher dbr:Tautology_(logic) dbr:Technological_studies dbr:List_of_logic_symbols dbr:Emil_Leon_Post dbr:Gilbert_Vernam dbr:Heath_Robinson_(codebreaking_machine) dbr:Three-valued_logic dbr:Truth_value dbr:Non-classical_logic dbr:AND-OR-invert dbr:Adder_(electronics) dbr:Proof_by_contradiction dbr:State-transition_table dbr:Wired_logic_connection dbr:Linearity dbr:Logical_equality dbr:Adder–subtractor dbr:List_of_valid_argument_forms dbr:Knights_and_Knaves dbr:Boolean_algebras_canonically_defined dbr:List_of_mathematics_reference_tables dbr:Outline_of_discrete_mathematics dbr:Outline_of_logic dbr:Index_of_philosophy_articles_(R–Z) dbr:Logical_abacus dbr:Logical_graph dbr:McCarthy_Formalism dbr:Material_implication_(rule_of_inference) dbr:Proof_by_contrapositive dbr:Booleo dbr:Vector_logic dbr:Distributed_lock_manager dbr:T-norm_fuzzy_logics dbr:VTech_PreComputer_2000 dbr:AVX-512 dbr:Boolean-valued_function dbr:Excitation_table dbr:List_of_rules_of_inference dbr:Symmetric_Boolean_function dbr:Truth-table dbr:Truth_Table dbr:Truth_Tables dbr:Truth_tables dbr:Truthtable dbr:Logical_truth_table
is rdfs:seeAlso of	dbr:Boolean_function dbr:Propositional_logic
is foaf:primaryTopic of	wikipedia-en:Truth_table