@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix ns2:	<https://dbpedia.org/resource/> .
wikipedia-en:Boolean_algebra	foaf:primaryTopic	ns2:Boolean_algebra .
@prefix ns3:	<https://dbpedia.org/ontology/> .
ns2:Algebraic_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Counting	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Non-classical_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Differential_privacy	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Gigablast	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Backus\u2013Naur_form>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Combinational_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:OR_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logic_level	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Molecular_sensor	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Zhegalkin_polynomial	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Henry_M._Sheffer>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Ivan_Zhegalkin	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Unisys_DMSII	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Law_of_thought	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Glossary_of_set_theory	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_differential_calculus	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Web_query	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Conditional_operator	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Ternary_operation	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_operations_on_polygons	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Semantic_folding	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Computer-assisted_legal_research	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_Boolean_algebra_topics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Widget_Workshop	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Glossary_of_engineering:_A\u2013L>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_named_matrices	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Tautology_(logic)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
ns2:Boolean_algebra	rdf:type	owl:Thing ;
	owl:sameAs	<http://ky.dbpedia.org/resource/\u0410\u0439\u0442\u044B\u043B\u044B\u0448\u0442\u0430\u0440_\u0430\u043B\u0433\u0435\u0431\u0440\u0430\u0441\u044B> ,
		<http://azb.dbpedia.org/resource/\u0628\u0648\u0644_\u062C\u0628\u0631\u06CC> .
@prefix dbpedia-da:	<http://da.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-da:Boolsk_algebra ,
		<http://kn.dbpedia.org/resource/\u0C97\u0CA3\u0CA8\u0CB6\u0CBE\u0CB8\u0CCD\u0CA4\u0CCD\u0CB0> ,
		<http://hy.dbpedia.org/resource/\u0532\u0578\u0582\u056C\u0575\u0561\u0576_\u0570\u0561\u0576\u0580\u0561\u0570\u0561\u0577\u056B\u057E> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
ns2:Boolean_algebra	owl:sameAs	wikidata:Q173183 ,
		<http://lt.dbpedia.org/resource/B\u016Blio_algebra> ,
		<http://ko.dbpedia.org/resource/\uBD88_\uB17C\uB9AC> ,
		<http://tg.dbpedia.org/resource/\u0410\u043B\u0433\u0435\u0431\u0440\u0430\u0438_\u043C\u0430\u043D\u0442\u0438\u049B> ,
		<http://bg.dbpedia.org/resource/\u0411\u0443\u043B\u0435\u0432\u0430_\u0430\u043B\u0433\u0435\u0431\u0440\u0430> ,
		<http://et.dbpedia.org/resource/Boole\u0027i_algebra> ,
		<http://es.dbpedia.org/resource/\u00C1lgebra_de_Boole> ,
		<http://la.dbpedia.org/resource/Algebra_Booleana_(logica)> ,
		<http://zh.dbpedia.org/resource/\u903B\u8F91\u4EE3\u6570> .
@prefix dbpedia-bs:	<http://bs.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-bs:Booleova_algebra .
@prefix dbpedia-it:	<http://it.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-it:Algebra_di_Boole ,
		<http://my.dbpedia.org/resource/\u1018\u1030\u101C\u102E\u101A\u1014\u103A\u1021\u1000\u1039\u1001\u101B\u102C\u101E\u1004\u103A\u1039\u1001\u103B\u102C> ,
		<http://th.dbpedia.org/resource/\u0E1E\u0E35\u0E0A\u0E04\u0E13\u0E34\u0E15\u0E41\u0E1A\u0E1A\u0E1A\u0E39\u0E25> .
@prefix dbpedia-global:	<https://global.dbpedia.org/id/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-global:gtuy ,
		<http://ga.dbpedia.org/resource/Ailg\u00E9abar_Boole> ,
		<http://vi.dbpedia.org/resource/\u0110\u1EA1i_s\u1ED1_Boole> .
@prefix dbpedia-simple:	<http://simple.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-simple:Boolean_algebra ,
		<http://uk.dbpedia.org/resource/\u0410\u043B\u0433\u0435\u0431\u0440\u0430_\u043B\u043E\u0433\u0456\u043A\u0438> .
@prefix dbpedia-id:	<http://id.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-id:Aljabar_Boolean .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	yago-res:Boolean_algebra .
@prefix dbpedia-nl:	<http://nl.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-nl:Booleaanse_algebra .
@prefix dbpedia-hr:	<http://hr.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-hr:Booleova_algebra .
@prefix dbpedia-de:	<http://de.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-de:Boolesche_Algebra ,
		<http://ar.dbpedia.org/resource/\u062C\u0628\u0631_\u0628\u0648\u0644> ,
		<http://fa.dbpedia.org/resource/\u062C\u0628\u0631_\u0628\u0648\u0644\u06CC> ,
		<http://rdf.freebase.com/ns/m.03by1d8> .
@prefix dbpedia-no:	<http://no.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-no:Boolsk_algebra .
@prefix dbpedia-tl:	<http://tl.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-tl:Alhebrang_Boolean ,
		<http://ru.dbpedia.org/resource/\u0410\u043B\u0433\u0435\u0431\u0440\u0430_\u043B\u043E\u0433\u0438\u043A\u0438> ,
		<http://fr.dbpedia.org/resource/Alg\u00E8bre_de_Boole_(logique)> ,
		<http://mk.dbpedia.org/resource/\u0411\u0443\u043B\u043E\u0432\u0430_\u0430\u043B\u0433\u0435\u0431\u0440\u0430> ,
		<http://hu.dbpedia.org/resource/Boole-algebra_(informatika)> .
@prefix dbpedia-eu:	<http://eu.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-eu:Booleren_aljebra ,
		<http://d-nb.info/gnd/4146280-4> ,
		<http://ta.dbpedia.org/resource/\u0BAA\u0BC2\u0BB2\u0BBF\u0BAF_\u0B87\u0BAF\u0BB1\u0BCD\u0B95\u0BA3\u0BBF\u0BA4\u0BAE\u0BCD> ,
		<http://ast.dbpedia.org/resource/\u00C1lxebra_de_Boole> ,
		<http://gl.dbpedia.org/resource/\u00C1lxebra_de_Boole> .
@prefix dbr:	<http://dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbr:Boolean_algebra ,
		<http://sr.dbpedia.org/resource/\u0411\u0443\u043B\u043E\u0432\u0430_\u0430\u043B\u0433\u0435\u0431\u0440\u0430> ,
		<http://az.dbpedia.org/resource/Bul_c\u0259bri_(m\u0259ntiqi)> .
@prefix dbpedia-io:	<http://io.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-io:Booleana_algebro ,
		<http://ba.dbpedia.org/resource/\u041B\u043E\u0433\u0438\u043A\u0430_\u0430\u043B\u0433\u0435\u0431\u0440\u0430\u04BB\u044B> .
@prefix dbpedia-eo:	<http://eo.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-eo:Bulea_algebro .
@prefix dbpedia-sh:	<http://sh.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-sh:Bulova_algebra .
@prefix dbpedia-tr:	<http://tr.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-tr:Boole_cebiri .
@prefix dbpedia-nn:	<http://nn.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-nn:Boolsk_algebra .
@prefix dbpedia-fi:	<http://fi.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-fi:Boolen_algebra ,
		<http://el.dbpedia.org/resource/\u0386\u03BB\u03B3\u03B5\u03B2\u03C1\u03B1_\u039C\u03C0\u03BF\u03C5\u03BB> ,
		<http://pl.dbpedia.org/resource/Algebra_Boole\u2019a> .
@prefix dbpedia-cs:	<http://cs.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-cs:Booleova_algebra ,
		<http://bn.dbpedia.org/resource/\u09AC\u09C1\u09B2\u09BF\u09AF\u09BC\u09BE\u09A8_\u09AC\u09C0\u099C\u0997\u09A3\u09BF\u09A4> ,
		<http://he.dbpedia.org/resource/\u05D0\u05DC\u05D2\u05D1\u05E8\u05D4_\u05D1\u05D5\u05DC\u05D9\u05D0\u05E0\u05D9\u05EA> ,
		<http://pms.dbpedia.org/resource/\u00C0lgebra_\u00EBd_Boole> .
@prefix dbpedia-sv:	<http://sv.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-sv:Boolesk_algebra .
@prefix dbpedia-af:	<http://af.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-af:Boolse_algebra ,
		<http://hi.dbpedia.org/resource/\u092C\u0942\u0932\u0940\u092F_\u092C\u0940\u091C\u0917\u0923\u093F\u0924_(\u0924\u0930\u094D\u0915\u0936\u093E\u0938\u094D\u0924\u094D\u0930)> ,
		<http://cv.dbpedia.org/resource/\u041A\u0430\u043B\u0430\u043D\u0103\u043B\u0103\u0445\u0441\u0435\u043D_\u0430\u043B\u0433\u0435\u0431\u0440\u0438> .
@prefix dbpedia-sl:	<http://sl.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-sl:Booleova_algebra .
@prefix dbpedia-sk:	<http://sk.dbpedia.org/resource/> .
ns2:Boolean_algebra	owl:sameAs	dbpedia-sk:Boolova_algebra ,
		<http://ca.dbpedia.org/resource/\u00C0lgebra_de_Boole> ,
		<http://lv.dbpedia.org/resource/B\u016Bla_algebra> ,
		<http://ku.dbpedia.org/resource/Mantiq\u00EA_B\u00FBl\u00EE> ,
		<http://pt.dbpedia.org/resource/\u00C1lgebra_booliana> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Boolean_algebra	rdfs:label	"Booleren aljebra"@eu ,
		"Alg\u00E8bre de Boole (logique)"@fr ,
		"\u00C1lgebra booliana"@pt ,
		"Algebra di Boole"@it ,
		"Booleaanse algebra"@nl ,
		"\uBD88 \uB17C\uB9AC"@ko ,
		"Bulea algebro"@eo ,
		"\u0386\u03BB\u03B3\u03B5\u03B2\u03C1\u03B1 \u039C\u03C0\u03BF\u03C5\u03BB"@el ,
		"\u0410\u043B\u0433\u0435\u0431\u0440\u0430 \u043B\u043E\u0433\u0438\u043A\u0438"@ru ,
		"Aljabar Boolean"@in ,
		"Boolean algebra"@en ,
		"\u00C1lgebra de Boole"@es ,
		"\u903B\u8F91\u4EE3\u6570"@zh ,
		"\u062C\u0628\u0631 \u0628\u0648\u0644"@ar ,
		"Booleova algebra"@cs ,
		"\u0410\u043B\u0433\u0435\u0431\u0440\u0430 \u043B\u043E\u0433\u0456\u043A\u0438"@uk ,
		"Algebra Boole\u2019a"@pl ,
		"\u00C0lgebra de Boole"@ca ,
		"Boolesk algebra"@sv ,
		"Boolesche Algebra"@de ,
		"Ailg\u00E9abar Boole"@ga .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix ns34:	<https://dbpedia.org/resource/Category:> .
ns2:Boolean_algebra	dct:subject	ns34:Algebraic_logic ,
		ns34:Articles_with_example_code ,
		ns34:Boolean_algebra ,
		<https://dbpedia.org/resource/Category:1847_introductions> ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Vennandornot.svg> ,
		<http://commons.wikimedia.org/wiki/Special:FilePath/LogicGates.svg> ,
		<http://commons.wikimedia.org/wiki/Special:FilePath/DeMorganGates.gif> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
ns2:Boolean_algebra	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Boolean_algebra?oldid=1310206954&ns=0> .
@prefix gold:	<http://purl.org/linguistics/gold/> .
ns2:Boolean_algebra	gold:hypernym	ns2:Branch ;
	foaf:isPrimaryTopicOf	wikipedia-en:Boolean_algebra ;
	ns3:wikiPageWikiLink	ns2:Field_of_sets ,
		ns2:Logic_gate ,
		ns2:Truth_assignment ,
		<https://dbpedia.org/resource/Field_(mathematics)> ,
		<https://dbpedia.org/resource/Word_(data_type)> ,
		ns2:Logic_synthesis ,
		ns2:Programming_language ,
		ns2:Solid_modeling ,
		ns2:Negation ,
		ns2:Indexed_family ,
		<https://dbpedia.org/resource/Tautology_(logic)> ,
		<https://dbpedia.org/resource/Carry_(arithmetic)> ,
		<https://dbpedia.org/resource/Group_(mathematics)> ,
		<https://dbpedia.org/resource/Ring_(mathematics)> ,
		ns2:Combinational_logic ,
		ns2:Switching_circuit ,
		ns2:Exclusive_OR ,
		<https://dbpedia.org/resource/De_Morgan\u0027s_law> ,
		<https://dbpedia.org/resource/Function_(mathematics)> ,
		<https://dbpedia.org/resource/Complement_(set_theory)> ,
		ns2:Klein_four-group ,
		ns2:Model_of_computation ,
		ns2:NP-complete ,
		ns2:Index_set ,
		ns2:Propositional_logic ,
		ns2:Truth_value ,
		ns2:Naive_set_theory ,
		ns2:Two-valued_logic ,
		ns2:Propositional_variable ,
		<https://dbpedia.org/resource/Variable_(mathematics)> ,
		ns2:Principia_Mathematica ,
		<https://dbpedia.org/resource/J\u00F3zef_Maria_Boche\u0144ski> ,
		ns2:The_Laws_of_Thought ,
		ns34:Boolean_algebra ,
		ns2:Sequent_calculus ,
		ns2:Truth_tables ,
		<https://dbpedia.org/resource/Boolean_algebra_(structure)> ,
		ns2:Axiomatization ,
		ns2:Boolean_circuit ,
		ns2:Truth_values ,
		ns2:Entailment ,
		ns2:List_of_Boolean_algebra_topics ,
		ns2:Computer_aided_design ,
		<https://dbpedia.org/resource/Henry_M._Sheffer> ,
		ns2:Integer ,
		ns2:Complemented_lattice ,
		ns2:Princeton_University_Press ,
		ns2:Venn_diagram ,
		ns2:Three-valued_logic ,
		ns2:Set_theory ,
		ns2:Relevance_logic ,
		ns2:Charles_Sanders_Peirce ,
		ns2:Machine_code ,
		ns2:Propositional_calculus ,
		ns2:Algebraic_logic ,
		ns2:Boolean_prime_ideal_theorem ,
		<https://dbpedia.org/resource/Identity_(mathematics)> ,
		<https://dbpedia.org/resource/File:Vennandornot.svg> ,
		ns2:Video_cards ,
		ns2:Gottfried_Wilhelm_Leibniz ,
		ns2:Intuitionistic_logic ,
		ns2:Courier_Dover_Publications ,
		ns2:Algorithm ,
		ns2:Logic_gates ,
		ns2:Greatest_common_divisor ,
		ns2:Assembly_language ,
		ns2:Boolean_satisfiability_problem ,
		ns2:Boolean_differential_calculus ,
		ns34:Algebraic_logic ,
		<https://dbpedia.org/resource/Intersection_(set_theory)> ,
		ns2:Uncountable ,
		<https://dbpedia.org/resource/Category:1847_introductions> ,
		ns2:Subset ,
		ns2:Electronic_design_automation ,
		ns2:Distributive_lattice ,
		ns2:Axioms ,
		ns2:Modular_arithmetic ,
		ns2:Circuit_diagram ,
		ns2:Probabilistic_logic ,
		ns2:Elementary_algebra ,
		ns2:Partially_ordered_set ,
		ns2:Walter_Gottschalk ,
		ns34:Articles_with_example_code ,
		ns2:Square-free_integer ,
		ns2:Function_composition ,
		ns2:Sequence ,
		<https://dbpedia.org/resource/De_Morgan\u0027s_laws> ,
		ns2:Digital_signal ,
		ns2:Bit ,
		ns2:Sheffer_stroke ,
		ns2:Unary_operator ,
		ns2:Multi-valued_logic ,
		ns2:Indicator_function ,
		ns2:Unit_interval ,
		ns2:Punched_tape ,
		ns2:Logical_connective ,
		ns2:Idempotence ,
		ns2:Propositional_formula ,
		<https://dbpedia.org/resource/Stone\u0027s_representation_theorem_for_Boolean_algebras> ,
		ns2:Binary_number ,
		ns2:Algebraic_structure ,
		ns2:Binary_decision_diagram ,
		ns2:William_Stanley_Jevons ,
		ns2:Minimal_axioms_for_Boolean_algebra ,
		ns2:Isomorphism ,
		ns2:Functional_completeness ,
		ns2:Relation_algebra ,
		ns2:Google ,
		ns2:Mathematics ,
		ns2:Hilbert_system ,
		<https://dbpedia.org/resource/Mask_(computing)> ,
		ns2:Power_set ,
		ns2:Automorphism ,
		ns2:Algebra_of_sets ,
		ns2:Digital_logic ,
		<https://dbpedia.org/resource/Quantifier_(logic)> ,
		ns2:Very-large-scale_integration ,
		ns2:Logical_conjunction ,
		<https://dbpedia.org/resource/Ernst_Schr\u00F6der_(mathematician)> ,
		<https://dbpedia.org/resource/Model_(logic)> ,
		ns2:Sequent ,
		ns2:Punched_card ,
		ns2:Cofinite ,
		ns2:Binary_operator ,
		ns2:Logic_optimization ,
		ns2:Boolean_algebras_canonically_defined ,
		ns2:Bit_blit ,
		ns2:Magnetic_storage ,
		ns2:Algebra_of_concepts ,
		ns2:Logical_system ,
		ns2:Pixels ,
		ns2:Logic_design ,
		ns2:Bit_vector ,
		<https://dbpedia.org/resource/Group_action_(mathematics)> ,
		ns2:George_Boole ,
		ns2:Least_common_multiple ,
		ns2:Axiom_of_choice ,
		ns2:Algebra ,
		ns2:Vector_logic ,
		ns2:Booleo ,
		ns2:Claude_Shannon ,
		ns2:Raster_graphics ,
		ns2:Logical_disjunction ,
		ns2:Two-element_Boolean_algebra ,
		ns2:Mathematical_structure ,
		ns2:First_order_logic ,
		<https://dbpedia.org/resource/GF(2)> ,
		ns2:Indefinite_article ,
		ns2:Partition_of_a_set ,
		ns2:Bitwise_operations ,
		ns2:Voxel ,
		ns2:Elsevier ,
		ns2:Formal_verification ,
		ns2:Statistics ,
		ns2:Computer ,
		ns2:Stanford_Encyclopedia_of_Philosophy ,
		ns2:Digital_electronics ,
		ns2:Abstract_algebra ,
		ns2:Logical_operation ,
		ns2:Boolean_function ,
		ns2:Mathematical_logic ,
		ns2:Material_conditional ,
		ns2:Theoretical_computer_science ,
		ns2:False_premise ,
		ns2:Time_complexity ,
		<https://dbpedia.org/resource/Union_(set_theory)> ,
		ns2:Circuit_complexity ,
		ns2:Group_theory ,
		ns2:Edward_Vermilye_Huntington ,
		ns2:Isomorphic ,
		ns2:Decision_problem ,
		<https://dbpedia.org/resource/File:LogicGates.GIF> ,
		ns2:Real_number ,
		ns2:Boolean_Algebra ,
		ns2:Boolean_polynomial ,
		ns2:Programming_languages ,
		ns2:Material_biconditional ,
		<https://dbpedia.org/resource/File:DeMorganGates.GIF> ,
		ns2:Number ,
		ns2:Cambridge_and_Dublin_Mathematical_Journal ,
		<https://dbpedia.org/resource/M._H._Stone> ,
		ns2:Fuzzy_logic ,
		ns2:Computer_displays ,
		ns2:Logical_equivalence ,
		<https://dbpedia.org/resource/Algebraic_semantics_(mathematical_logic)> ,
		ns2:A_Symbolic_Analysis_of_Relay_and_Switching_Circuits ,
		ns2:Springer-Verlag ,
		ns2:Heyting_algebra ,
		ns2:Boolean-valued_semantics ;
	ns3:description	"estructura algebraica que esquematiza las operaciones l\u00F3gicas"@es ,
		"Algebra koja sadr\u017Ei samo varijacije \\ta\u010Dno\\ i \\neta\u010Dno\\ (0 i 1) kao vrednost"@sr ,
		"\u00E1lgebras que representam opera\u00E7\u00F5es l\u00F3gicas e de conjuntos, em homenagem a Boole"@pt ,
		"aljabar melibatkan variabel hanya mengandung nilai \\benar\\ dan \\salah\\ (atau 1 dan 0)"@in ,
		"spezielle algebraische Struktur"@de ,
		"\u0632\u06CC\u0631 \u0645\u062C\u0645\u0648\u0639\u0647\u200C\u0627\u06CC \u0627\u0632 \u062C\u0628\u0631 \u06A9\u0647 \u0645\u062A\u063A\u06CC\u0631\u0647\u0627 \u06CC\u0627 \u062F\u0631\u0633\u062A \u0648 \u062F\u0627\u0631\u0627\u06CC \u0627\u0631\u0632\u0634 \u06CC\u06A9 \u0648 \u06CC\u0627 \u0646\u0627\u062F\u0631\u0633\u062A \u0648 \u062F\u0627\u0631\u0627\u06CC \u0627\u0631\u0632\u0634 \u0635\u0641\u0631 \u0647\u0633\u062A\u0646\u062F"@fa ,
		"branch of algebra abstracting logical operations"@en ,
		"\u4EE3\u6570\u7684\u4E00\u652F\uFF0C\u53D8\u91CF\u7684\u503C\u4EC5\u4E3A\u771F\u548C\u5047\u4E24\u79CD"@zh ,
		"typ struktury algebraicznej z dwoma dzia\u0142aniami"@pl ,
		"\u0641\u0631\u0639 \u0645\u0646 \u0627\u0644\u0631\u064A\u0627\u0636\u064A\u0627\u062A \u0648\u0627\u0644\u0645\u0646\u0637\u0642 \u0648\u0627\u0644\u0625\u0644\u0643\u062A\u0631\u0648\u0646\u064A\u0627\u062A \u0627\u0644\u0630\u064A \u064A\u0647\u062A\u0645 \u0628\u0627\u0644\u0639\u0645\u0644\u064A\u0627\u062A \u0648\u0627\u0644\u062F\u0648\u0627\u0644 \u0639\u0644\u0649 \u0645\u062A\u063A\u064A\u0631\u0627\u062A \u0627\u0644\u0645\u0646\u0637\u0642"@ar ,
		"partie des math\u00E9matiques, de la logique et de l'\u00E9lectronique qui s'int\u00E9resse aux op\u00E9rations et aux fonctions sur les variables logiques"@fr ,
		"branch o algebra in which the values o the variables are the truith values true an false"@sco ,
		"\u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A \u043B\u043E\u0433\u0438\u043A\u0430\u043D\u044B\u04A3 \u04D9\u0439\u0442\u0435\u04AF\u0499\u04D9\u0440 \u04E9\u04AB\u0442\u04E9\u043D\u0434\u04D9 \u043B\u043E\u0433\u0438\u043A \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u044F\u043B\u0430\u0440 \u04E9\u0439\u0440\u04D9\u043D\u0435\u043B\u0433\u04D9\u043D \u0431\u04AF\u043B\u0435\u0433\u0435"@ba ,
		"variant de l'\u00E0lgebra elemental ordin\u00E0ria"@ca ,
		"\u0CB8\u0CBE\u0CAE\u0CBE\u0CA8\u0CCD\u0CAF \u0CAC\u0CC0\u0C9C\u0C97\u0CA3\u0CBF\u0CA4\u0CA6 \u0CB0\u0CC2\u0CAA\u0CBE\u0C82\u0CA4\u0CB0"@kn ,
		"obor algebry zobec\u0148uj\u00EDc\u00ED vlastnosti mno\u017Einov\u00FDch a logick\u00FDch operac\u00ED"@cs ,
		"algebrallinen struktuuri, joka toimii loogisen lausekalkyylin ja joukko-opin mallina"@fi ,
		"ramo dell'algebra matematica"@it ,
		"\u0440\u0430\u0437\u0434\u0435\u043B \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438, \u0432 \u043A\u043E\u0442\u043E\u0440\u043E\u043C \u0438\u0437\u0443\u0447\u0430\u044E\u0442\u0441\u044F \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u043E\u043F\u0435\u0440\u0430\u0446\u0438\u0438 \u043D\u0430\u0434 \u0432\u044B\u0441\u043A\u0430\u0437\u044B\u0432\u0430\u043D\u0438\u044F\u043C\u0438"@ru ,
		"subdomeniu al algebrei care trateaz\u0103 abstract opera\u021Biile logice"@ro ,
		"\u05E2\u05E0\u05E3 \u05D1\u05DE\u05EA\u05DE\u05D8\u05D9\u05E7\u05D4"@iw ,
		"de\u011Fi\u015Fkenlerin de\u011Ferinin do\u011Fru ve yanl\u0131\u015F olabildi\u011Fi bir cebir altkolu"@tr .
@prefix ns37:	<https://dbpedia.org/property/> .
@prefix ns38:	<https://dbpedia.org/resource/Template:> .
ns2:Boolean_algebra	ns37:wikiPageUsesTemplate	ns38:Div_col_end ,
		ns38:Div_col ,
		ns38:Short_description ,
		ns38:Cite_book ,
		ns38:Reflist ,
		ns38:Other_uses ,
		ns38:Code ,
		ns38:Col-end ,
		ns38:Col-begin ,
		ns38:More_citations_needed ,
		<https://dbpedia.org/resource/Template:=> ,
		ns38:Sic ,
		ns38:Who ,
		ns38:Wikibooks ,
		ns38:Tmath ,
		ns38:Rp ,
		ns38:Citation_needed ,
		ns38:Authority_control ,
		ns38:Cite_journal ,
		ns38:SEP ,
		ns38:Col-break ,
		ns38:Portal ,
		ns38:Anchor ,
		ns38:Use_list-defined_references ,
		ns38:Section_link ,
		ns38:Mathematical_logic ,
		ns38:Digital_systems ,
		ns38:Use_dmy_dates ,
		ns38:Further ,
		ns38:Char ,
		ns38:Mono ,
		ns38:Mvar ,
		ns38:Math ,
		ns38:Main_article ,
		ns38:Main ;
	ns37:date	"October 2022"@en ;
	ns37:group	"\"NB\""@en ;
	ns37:cs1Dates	"y"@en ;
	ns3:wikiPageExternalLink	<http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html> ,
		<http://plato.stanford.edu/entries/algebra-logic-tradition/> ,
		<https://books.google.com/books%3Fid=ZuHwCAAAQBAJ> ;
	ns3:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Vennandornot.svg?width=300> .
ns2:Universal_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Associative_property	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Macy_conferences	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logic_learning_machine	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/P._K._Srinivasan>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Feferman\u2013Vaught_theorem>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Ultrafilter	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Software_design_pattern	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_algebra_(logic)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Colossus_computer	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Video_games_in_the_United_Kingdom	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:HP_33s	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Simplification_of_disjunctive_antecedents	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Relay	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Inverter_(logic_gate)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Outline_of_electronics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Glossary_of_mechanical_engineering	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Foundations_of_mathematics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Philosophy_of_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Principia_Mathematica	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Currying	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logical_connective	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Evolving_digital_ecological_network	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_Martin_Gardner_Mathematical_Games_columns	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Magnetic_Drum_Digital_Differential_Analyzer	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Mxparser	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Diode_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Virtual_finite-state_machine	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_value	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Logic_operation	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Logic_function	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Mathematics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Fuzzy_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Computing	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Dynamic_substructuring	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:New_Math	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Glossary_of_computer_science	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_circuit	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logical_matrix	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Proper_forcing_axiom	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Alfred_Foster_(mathematician)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns37:knownFor	ns2:Boolean_algebra ;
	ns3:knownFor	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Sentence_(mathematical_logic)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Maurice_Karnaugh	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Science.gov>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:KUKA_Robot_Language	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Relay_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:History_of_science_and_technology_in_Japan	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Abstract_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Mathematical_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/19th_century_in_science>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Computational_biology	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:PETSCII	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Programmable_logic_controller	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:History_of_computer_science	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Index_term	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Lincoln_Mechanics\u0027_Institute>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Robert_Ledley	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:History_of_computing	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Air_University_Library_Index_to_Military_Periodicals	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Herma_(Xenakis)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Minimal_axioms_for_Boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Riesz_space	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/AW*-algebra>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Galves\u2013L\u00F6cherbach_model>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Entrez	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Closure_operator	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_function	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Distributive_property	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Two-element_Boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Spectral_space	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Effect_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Deductive_lambda_calculus	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Posetal_category	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Ultrafilter_(set_theory)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
@prefix ns39:	<https://dbpedia.org/resource/Code:> .
ns39:_The_Hidden_Language_of_Computer_Hardware_and_Software	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Nell_Tenhaaf	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Algebra_(disambiguation)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageDisambiguates	ns2:Boolean_algebra .
ns2:Division_lattice	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Ockham_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Lindenbaum\u0027s_lemma>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Computer_program	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Victorian_era	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Claude_Shannon	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns37:knownFor	ns2:Boolean_algebra ;
	ns3:knownFor	ns2:Boolean_algebra .
<https://dbpedia.org/resource/List_of_eponyms_(A\u2013K)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_British_innovations_and_discoveries	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Outline_of_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Timeline_of_computing_hardware_before_1950	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:GraphBLAS	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Restricted_Boltzmann_machine	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logic_optimization	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Superadditivity	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:A_Mind_at_Play	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Negation_normal_form	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Finitist_set_theory	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Simple_theorems_in_the_algebra_of_sets	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_rules_of_inference	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_operation_(Boolean_algebra)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/1937_in_science>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Vannevar_Bush	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:George_Boole	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_agnostics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Aristotle	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Culture_of_the_United_Kingdom	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Electronic_engineering	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Integrated_circuit	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Adjacency_matrix	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Conjunctive_normal_form	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Turing_degree	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_Logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Algebraic_normal_form	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Introduction_to_Boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Bunched_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Material_nonimplication	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Floyd_Steele	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_flag	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Simple_programmable_logic_device	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Equational_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Inductive_probability	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_data_type	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Contradiction	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Dual_graph	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:NAND_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:XNOR_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Dynamic_logic_(modal_logic)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Intuitionistic_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Mention_(company)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Poretsky\u0027s_law_of_forms>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:MarkLogic_Server	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Specification_pattern	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Zero-suppressed_decision_diagram	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Minimal_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Susan_Sontag	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Field_(mathematics)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Complex_conjugate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:History_of_mathematics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Gottfried_Wilhelm_Leibniz	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Timeline_of_scientific_discoveries	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Nathan_C._Gianneschi>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Circuit_diagram	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Bill_of_materials	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Thue\u2013Morse_sequence>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Binary_data	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Product_order	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Hahn\u2013Banach_theorem>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:DE-9IM	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Multiplexer	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Inkscape	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Haim_Gaifman	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Sharp_EL-5120	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Duality_principle_(Boolean_algebra)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:ISO_15924	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Glossary_of_artificial_intelligence	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Relational_operator	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_Linux_audio_software	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Quantum_logic_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_algebras	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Ren\u00E9_Thomas_(biologist)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:XOR_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logic_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Bella_Subbotovskaya	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Representation_(mathematics)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Algebraic_specification	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:APL_syntax_and_symbols	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_algebra_(disambiguation)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Idempotent_(ring_theory)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:George_Paxton_Young	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:mainInterest	ns2:Boolean_algebra ;
	ns37:mainInterests	ns2:Boolean_algebra .
ns2:Random_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Maharam_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean-valued	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_algebra_(introduction)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:JOSS	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:List_of_Japanese_inventions_and_discoveries	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Electronic_design_automation	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Brian_Rotman	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Tolerance_relation	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:BASIC_interpreter	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Vinculum_(symbol)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:For_loop	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Behavioral_pattern	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Karnaugh_map	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_equation	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_algebras_canonically_defined	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Strassen_algorithm	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:UBJSON	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Irish_people	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Microprocessor	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Calculator	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/C_(programming_language)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Josiah_Royce	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:History_of_computing_hardware	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Louis_Couturat	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Radioteletype	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Principle_of_bivalence	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/De_Morgan\u0027s_laws>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Absorbing_element	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:AND_gate	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Logic_synthesis	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Multi-threshold_CMOS	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:PHP_syntax_and_semantics	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Spiff_(disambiguation)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_operator_(Boolean_algebra)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:University_College_Cork	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Educational_toy	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:EUR-Lex	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Monus	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Abstract_algebraic_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Fr\u00E9chet_inequalities>	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Contact_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Functional_completeness	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Vector_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Knights_and_Knaves	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean_Algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Duality_principle_(boolean_algebra)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Elementary_Boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Ray_marching	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:History_of_Boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Laws_of_classical_logic	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:And_List	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:And_list	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Applications_of_boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:AND_list	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:BooleanAlgebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_Connectors	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_algebra_(basic_concepts)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_attribute	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_identities	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_identity	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Boolean_logic_(computer_science)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_logic_in_computer_science	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_problem	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_searching	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolean_terms	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolian_Algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Boolian_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Complement_(Boolean_algebra)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Complement_(boolean_algebra)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
<https://dbpedia.org/resource/Complete_Boolean_algebra_(computer_science)>	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Introduction_to_boolean_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Or_List	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Or_list	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:OR_list	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Logical_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Switching_algebra	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageRedirects	ns2:Boolean_algebra .
ns2:Qualitative_comparative_analysis	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Elektronika_MK-52	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:IBM_STAIRS	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Binary_expression_tree	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Boolean	ns3:wikiPageWikiLink	ns2:Boolean_algebra ;
	ns3:wikiPageDisambiguates	ns2:Boolean_algebra .
ns2:Metric_lattice	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Digital	ns3:wikiPageWikiLink	ns2:Boolean_algebra .
ns2:Johanna_Piesch	ns3:wikiPageWikiLink	ns2:Boolean_algebra .