This HTML5 document contains 60 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n7http://ja.dbpedia.org/resource/Category:
n5http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q903789
owl:sameAs
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:DNF
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:Fourier–Motzkin消去法
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:XORゲート
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:カルノー図
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:ギルモアのアルゴリズム
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:クワイン・マクラスキー法
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:ブール論理
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:ブール関数
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:マルチプレクサ
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:否定標準形
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:真理値表
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:真理関数
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:節標準形
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:論理合成
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:論理和
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:論理和の消去
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:論理回路
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:連言標準形
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:選言標準形
rdfs:label
選言標準形
rdfs:comment
選言標準形（せんげんひょうじゅんけい、英: Disjunctive normal form, DNF）は、数理論理学においてブール論理での論理式の標準化（正規化）の一種であり、連言節(AND)の選言(OR)の形式で論理式を表す。加法標準形、主加法標準形、積和標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。
owl:sameAs
freebase:m.0jpw_
dct:subject
n7:標準形_(論理) n7:数学に関する記事
dbo:wikiPageID
954845
dbo:wikiPageRevisionID
90773562
dbo:wikiPageWikiLink
dbpedia-ja:自動定理証明 dbpedia-ja:論理式_(数学) dbpedia-ja:クワイン・マクラスキー法 dbpedia-ja:形式文法 dbpedia-ja:論理積 dbpedia-ja:ホーン節 dbpedia-ja:選言 dbpedia-ja:連言 dbpedia-ja:ブール関数 dbpedia-ja:二重否定の除去 dbpedia-ja:否定 dbpedia-ja:ド・モルガンの法則 dbpedia-ja:ブール値関数 dbpedia-ja:ブール論理 n7:数学に関する記事 dbpedia-ja:連言標準形 dbpedia-ja:分配法則 dbpedia-ja:論理回路 dbpedia-ja:真理値表 dbpedia-ja:論理和 n7:標準形_(論理) dbpedia-ja:数理論理学
prop-en:wikiPageUsesTemplate
template-en:Logic template-en:Lang-en-short
dbo:abstract
選言標準形（せんげんひょうじゅんけい、英: Disjunctive normal form, DNF）は、数理論理学においてブール論理での論理式の標準化（正規化）の一種であり、連言節(AND)の選言(OR)の形式で論理式を表す。加法標準形、主加法標準形、積和標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。
dbo:wikiPageLength
1922
prov:wasDerivedFrom
n5:選言標準形?oldid=90773562&ns=0
foaf:isPrimaryTopicOf
n5:選言標準形
Subject Item
dbpedia-ja:主加法標準形
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
dbo:wikiPageRedirects
dbpedia-ja:選言標準形
Subject Item
dbpedia-ja:加法標準形
dbo:wikiPageWikiLink
dbpedia-ja:選言標準形
dbo:wikiPageRedirects
dbpedia-ja:選言標準形
Subject Item
n5:選言標準形
foaf:primaryTopic
dbpedia-ja:選言標準形