<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://www.wikidoc.org/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://www.wikidoc.org/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://www.wikidoc.org/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://www.wikidoc.org/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://www.wikidoc.org/index.php/Special:ExportRDF/Category-3ABoolean_algebra">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-08-13T20:33:30+00:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<owl:Class rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra">
		<rdfs:label>Boolean algebra</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Category-3ABoolean_algebra"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Category-3ABoolean_algebra"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">14</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Boolean algebra</swivt:wikiPageSortKey>
	</owl:Class>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_disjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical disjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_disjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_disjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical disjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_conjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical conjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_conjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_conjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical conjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Laws_of_Form">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Laws of Form</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Laws_of_Form"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Laws_of_Form"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Laws of Form</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Sheffer_stroke">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Sheffer stroke</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Sheffer_stroke"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Sheffer_stroke"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Sheffer stroke</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Finitary_boolean_function">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Finitary boolean function</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Finitary_boolean_function"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Finitary_boolean_function"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Finitary boolean function</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Minimal_negation_operator">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Minimal negation operator</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Minimal_negation_operator"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Minimal_negation_operator"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Minimal negation operator</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Zeroth-2Dorder_logic">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Zeroth-order logic</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Zeroth-2Dorder_logic"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Zeroth-2Dorder_logic"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Zeroth-order logic</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_NOR">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical NOR</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_NOR"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_NOR"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical NOR</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Negation">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Negation</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Negation"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Negation"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Negation</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Consensus_theorem">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Consensus theorem</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Consensus_theorem"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Consensus_theorem"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Consensus theorem</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Exclusive_or">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Exclusive or</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Exclusive_or"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Exclusive_or"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Exclusive or</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_connective">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical connective</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_connective"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_connective"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical connective</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Conjunctive_normal_form">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Conjunctive normal form</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Conjunctive_normal_form"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Conjunctive_normal_form"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Conjunctive normal form</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Zhegalkin_polynomial">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Zhegalkin polynomial</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Zhegalkin_polynomial"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Zhegalkin_polynomial"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Zhegalkin polynomial</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logic_alphabet">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logic alphabet</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logic_alphabet"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logic_alphabet"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logic alphabet</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/De_Morgan-27s_laws">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>De Morgan's laws</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/De_Morgan-27s_laws"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/De_Morgan-27s_laws"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">De Morgan's laws</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Boolean_logic_in_computer_science">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Boolean logic in computer science</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Boolean_logic_in_computer_science"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Boolean_logic_in_computer_science"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Boolean logic in computer science</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Boolean_logic_in_computer_science">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Boolean logic in computer science</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Boolean_logic_in_computer_science"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Boolean_logic_in_computer_science"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Boolean logic in computer science</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Conjunctive_normal_form">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Conjunctive normal form</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Conjunctive_normal_form"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Conjunctive_normal_form"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Conjunctive normal form</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Consensus_theorem">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Consensus theorem</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Consensus_theorem"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Consensus_theorem"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Consensus theorem</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/De_Morgan-27s_laws">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>De Morgan's laws</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/De_Morgan-27s_laws"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/De_Morgan-27s_laws"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">De Morgan's laws</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Exclusive_or">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Exclusive or</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Exclusive_or"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Exclusive_or"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Exclusive or</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Finitary_boolean_function">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Finitary boolean function</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Finitary_boolean_function"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Finitary_boolean_function"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Finitary boolean function</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Laws_of_Form">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Laws of Form</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Laws_of_Form"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Laws_of_Form"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Laws of Form</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logic_alphabet">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logic alphabet</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logic_alphabet"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logic_alphabet"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logic alphabet</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_NOR">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical NOR</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_NOR"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_NOR"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical NOR</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_conjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical conjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_conjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_conjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical conjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_connective">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical connective</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_connective"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_connective"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical connective</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Logical_disjunction">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Logical disjunction</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Logical_disjunction"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Logical_disjunction"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical disjunction</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Minimal_negation_operator">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Minimal negation operator</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Minimal_negation_operator"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Minimal_negation_operator"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Minimal negation operator</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Negation">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Negation</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Negation"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Negation"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Negation</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Sheffer_stroke">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Sheffer stroke</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Sheffer_stroke"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Sheffer_stroke"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Sheffer stroke</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Zeroth-2Dorder_logic">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Zeroth-order logic</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Zeroth-2Dorder_logic"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Zeroth-2Dorder_logic"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Zeroth-order logic</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Zhegalkin_polynomial">
		<rdf:type rdf:resource="https://www.wikidoc.org/index.php/Special:URIResolver/Category-3ABoolean_algebra"/>
		<rdfs:label>Zhegalkin polynomial</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Zhegalkin_polynomial"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Zhegalkin_polynomial"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">0</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Zhegalkin polynomial</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:DatatypeProperty rdf:about="https://www.wikidoc.org/index.php/Special:URIResolver/Property-3A_INST">
		<rdfs:label> INST</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://www.wikidoc.org/index.php/Special:ExportRDF/Property-3A_INST"/>
		<swivt:page rdf:resource="https://www.wikidoc.org/index.php/Property-3A_INST"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">en</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">INST</swivt:wikiPageSortKey>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>