About: Boolean algebra

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

Property	Value
dbo:wikiPageID	705249 (xsd:integer)
dbo:wikiPageRevisionID	1021779884 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_cat dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Boolean algebra (en)
skos:broader	dbc:Fields_of_abstract_algebra dbc:Lattice_theory dbc:Binary_arithmetic dbc:Mathematical_logic dbc:Programming_constructs
skos:prefLabel	Boolean algebra (en)
skos:related	dbc:Propositional_calculus
prov:wasDerivedFrom	wikipedia-en:Category:Boolean_algebra?oldid=1021779884&ns=14
is dbo:wikiPageWikiLink of	dbr:Canonical_normal_form dbr:Propositional_calculus dbr:Propositional_formula dbr:Quine–McCluskey_algorithm dbr:Symmetric_Boolean_function dbr:Product_term dbr:Bitwise_operation dbr:Boolean_data_type dbr:Algebraic_normal_form dbr:Petrick's_method dbr:Veitch_chart dbr:Davis–Putnam_algorithm dbr:De_Morgan's_laws dbr:Σ-algebra dbr:Derivative_algebra_(abstract_algebra) dbr:Inclusion_(Boolean_algebra) dbr:Interior_algebra dbr:Random_algebra dbr:Zero_but_true dbr:Consensus_theorem dbr:Analysis_of_Boolean_functions dbr:OR_gate dbr:Robbins_algebra dbr:George_Boole dbr:Correlation_immunity dbr:Bent_function dbr:Logic_optimization dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone_space dbr:Complete_Boolean_algebra dbr:Functional_completeness dbr:Parity_function dbr:Propositional_directed_acyclic_graph dbr:Majority_function dbr:Suslin_algebra dbr:Truth_table dbr:Division_lattice dbr:Laws_of_Form dbr:List_of_Boolean_algebra_topics dbr:Logic_alphabet dbr:Logic_redundancy dbr:Logical_matrix dbr:Minimal_axioms_for_Boolean_algebra dbr:Field_of_sets dbr:Balanced_boolean_function dbr:DiVincenzo's_criteria dbr:Formula_game dbr:Relation_algebra dbr:2-valued_morphism dbr:Absorption_law dbr:Karnaugh_map dbr:Binary_decision_diagram dbr:Cohen_algebra dbr:Collapsing_algebra dbr:Modal_algebra dbr:Marquand_diagram dbr:Boole's_expansion_theorem dbr:Boolean-valued_function dbr:Boolean-valued_model dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Boolean_algebras_canonically_defined dbr:Boolean_conjunctive_query dbr:Boolean_domain dbr:Boolean_expression dbr:Boolean_function dbr:Boolean_matrix dbr:Boolean_prime_ideal_theorem dbr:Boolean_ring dbr:Boolean_satisfiability_algorithm_heuristics dbr:Boolean_satisfiability_problem dbr:Booleo dbr:Planar_SAT dbr:Free_Boolean_algebra dbr:Cantor_algebra dbr:Read-once_function dbr:Reed–Muller_expansion dbr:Chaff_algorithm dbr:Maharam_algebra dbr:Union_(set_theory) dbr:Total_operating_characteristic dbr:Implicant dbr:Implication_graph dbr:Lupanov_representation dbr:Two-element_Boolean_algebra dbr:Evasive_Boolean_function dbr:Residuated_Boolean_algebra dbr:Monadic_Boolean_algebra dbr:Poretsky's_law_of_forms dbr:Vector_logic dbr:Stone_functor dbr:Zhegalkin_polynomial dbr:True_quantified_Boolean_formula
is dcterms:subject of	dbr:Canonical_normal_form dbr:Propositional_calculus dbr:Propositional_formula dbr:Quine–McCluskey_algorithm dbr:Symmetric_Boolean_function dbr:Product_term dbr:Bitwise_operation dbr:Boolean_data_type dbr:Algebraic_normal_form dbr:Petrick's_method dbr:Veitch_chart dbr:Davis–Putnam_algorithm dbr:De_Morgan's_laws dbr:Σ-algebra dbr:Derivative_algebra_(abstract_algebra) dbr:Inclusion_(Boolean_algebra) dbr:Interior_algebra dbr:Random_algebra dbr:Zero_but_true dbr:Consensus_theorem dbr:Analysis_of_Boolean_functions dbr:OR_gate dbr:Robbins_algebra dbr:George_Boole dbr:Correlation_immunity dbr:Bent_function dbr:Logic_optimization dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone_space dbr:Complete_Boolean_algebra dbr:Functional_completeness dbr:Parity_function dbr:Propositional_directed_acyclic_graph dbr:Majority_function dbr:Suslin_algebra dbr:Truth_table dbr:Division_lattice dbr:Laws_of_Form dbr:List_of_Boolean_algebra_topics dbr:Logic_alphabet dbr:Logic_redundancy dbr:Logical_matrix dbr:Minimal_axioms_for_Boolean_algebra dbr:Field_of_sets dbr:Balanced_boolean_function dbr:DiVincenzo's_criteria dbr:Formula_game dbr:Relation_algebra dbr:2-valued_morphism dbr:Absorption_law dbr:Karnaugh_map dbr:Binary_decision_diagram dbr:Cohen_algebra dbr:Collapsing_algebra dbr:Modal_algebra dbr:Marquand_diagram dbr:Boole's_expansion_theorem dbr:Boolean-valued_function dbr:Boolean-valued_model dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Boolean_algebras_canonically_defined dbr:Boolean_conjunctive_query dbr:Boolean_domain dbr:Boolean_expression dbr:Boolean_function dbr:Boolean_matrix dbr:Boolean_prime_ideal_theorem dbr:Boolean_ring dbr:Boolean_satisfiability_algorithm_heuristics dbr:Boolean_satisfiability_problem dbr:Booleo dbr:Planar_SAT dbr:Free_Boolean_algebra dbr:Cantor_algebra dbr:Read-once_function dbr:Reed–Muller_expansion dbr:Chaff_algorithm dbr:Maharam_algebra dbr:Union_(set_theory) dbr:Total_operating_characteristic dbr:Implicant dbr:Implication_graph dbr:Lupanov_representation dbr:Two-element_Boolean_algebra dbr:Evasive_Boolean_function dbr:Residuated_Boolean_algebra dbr:Monadic_Boolean_algebra dbr:Poretsky's_law_of_forms dbr:Vector_logic dbr:Stone_functor dbr:Zhegalkin_polynomial dbr:True_quantified_Boolean_formula
is skos:broader of	dbc:Normal_forms_(logic) dbc:Logical_connectives