@prefix dbo: .
dbo:wikiPageWikiLink .
dbo:wikiPageWikiLink .
@prefix rdfs: .
rdfs:label "\u5426\u5B9A\u6A19\u6E96\u5F62"@ja ;
rdfs:comment "\u5426\u5B9A\u6A19\u6E96\u5F62\uFF08\u3072\u3066\u3044\u3072\u3087\u3046\u3058\u3085\u3093\u3051\u3044\u3001\u82F1: negation normal form, NNF\uFF09\u3068\u306F\u3001\u5426\u5B9A\u8A18\u53F7 \u304C\u539F\u5B50\u8AD6\u7406\u5F0F\u306E\u307F\u306B\u304B\u304B\u308A\u3001\u4ED6\u306B\u306F\u9078\u8A00\u8A18\u53F7 \u3068\u9023\u8A00\u8A18\u53F7 \u306E\u307F\u304C\u8AD6\u7406\u8A18\u53F7\u3068\u3057\u3066\u7528\u3044\u3089\u308C\u308B\u5F62\u306E\u8AD6\u7406\u5F0F\u3092\u6307\u3059\u3002 \u547D\u984C\u8AD6\u7406\u3082\u3057\u304F\u306F\u8FF0\u8A9E\u8AD6\u7406\u306B\u304A\u3044\u3066\u306F\u3001\u3044\u304B\u306A\u308B\u8AD6\u7406\u5F0F\u3082\u3001\u30C9\u30FB\u30E2\u30EB\u30AC\u30F3\u306E\u6CD5\u5247\u3092\u7528\u3044\u5426\u5B9A\u6F14\u7B97\u5B50\u3092\u5185\u5074\u306B\u62BC\u3057\u8FBC\u3080\u64CD\u4F5C\u3092\u7E70\u308A\u8FD4\u3059\u3053\u3068\u306B\u3088\u3063\u3066\u3001\u8AD6\u7406\u7684\u306B\u7B49\u4FA1\u306A\u5426\u5B9A\u6A19\u6E96\u5F62\u306B\u7F6E\u304D\u63DB\u3048\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002\u3053\u306E\u64CD\u4F5C\u306E\u5177\u4F53\u4F8B\u3092\u6B21\u306B\u793A\u3059\u3002 \u9023\u8A00\u6A19\u6E96\u5F62(conjunctive normal form)\u3068\u9078\u8A00\u6A19\u6E96\u5F62(disjunctive normal form)\u306F\u5426\u5B9A\u6A19\u6E96\u5F62\u306E\u6027\u8CEA\u3092\u6E80\u305F\u3057\u3066\u3044\u308B\u3002\u4EFB\u610F\u306E\u5426\u5B9A\u6A19\u6E96\u5F62\u306E\u8AD6\u7406\u5F0F\u306F\u3001\u8AD6\u7406\u5F0F\u306E\u7D50\u5408\u6CD5\u5247\u3068\u5206\u914D\u6CD5\u5247\u306B\u3088\u308B\u64CD\u4F5C\u306B\u3088\u3063\u3066\u3001\u8AD6\u7406\u7684\u306B\u7B49\u4FA1\u306A\u9023\u8A00\u6A19\u6E96\u5F62\u3084\u9078\u8A00\u6A19\u6E96\u5F62\u306B\u5909\u5F62\u3059\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002"@ja .
@prefix owl: .
owl:sameAs .
@prefix dct: .
dct:subject ,
;
dbo:wikiPageID 860777 ;
dbo:wikiPageRevisionID 67144277 ;
dbo:wikiPageWikiLink ,
,
,
,
,
.
@prefix ns4: .
dbo:wikiPageWikiLink ns4:Conjunctive_normal_form ,
ns4:Disjunctive_normal_form ,
,
,
,
,
,
,
.
@prefix prop-ja: .
@prefix template-ja: .
prop-ja:wikiPageUsesTemplate template-ja:Logic ,
template-ja:Lang-en-short .
@prefix foaf: .
foaf:isPrimaryTopicOf ;
dbo:abstract "\u5426\u5B9A\u6A19\u6E96\u5F62\uFF08\u3072\u3066\u3044\u3072\u3087\u3046\u3058\u3085\u3093\u3051\u3044\u3001\u82F1: negation normal form, NNF\uFF09\u3068\u306F\u3001\u5426\u5B9A\u8A18\u53F7 \u304C\u539F\u5B50\u8AD6\u7406\u5F0F\u306E\u307F\u306B\u304B\u304B\u308A\u3001\u4ED6\u306B\u306F\u9078\u8A00\u8A18\u53F7 \u3068\u9023\u8A00\u8A18\u53F7 \u306E\u307F\u304C\u8AD6\u7406\u8A18\u53F7\u3068\u3057\u3066\u7528\u3044\u3089\u308C\u308B\u5F62\u306E\u8AD6\u7406\u5F0F\u3092\u6307\u3059\u3002 \u547D\u984C\u8AD6\u7406\u3082\u3057\u304F\u306F\u8FF0\u8A9E\u8AD6\u7406\u306B\u304A\u3044\u3066\u306F\u3001\u3044\u304B\u306A\u308B\u8AD6\u7406\u5F0F\u3082\u3001\u30C9\u30FB\u30E2\u30EB\u30AC\u30F3\u306E\u6CD5\u5247\u3092\u7528\u3044\u5426\u5B9A\u6F14\u7B97\u5B50\u3092\u5185\u5074\u306B\u62BC\u3057\u8FBC\u3080\u64CD\u4F5C\u3092\u7E70\u308A\u8FD4\u3059\u3053\u3068\u306B\u3088\u3063\u3066\u3001\u8AD6\u7406\u7684\u306B\u7B49\u4FA1\u306A\u5426\u5B9A\u6A19\u6E96\u5F62\u306B\u7F6E\u304D\u63DB\u3048\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002\u3053\u306E\u64CD\u4F5C\u306E\u5177\u4F53\u4F8B\u3092\u6B21\u306B\u793A\u3059\u3002 \u9023\u8A00\u6A19\u6E96\u5F62(conjunctive normal form)\u3068\u9078\u8A00\u6A19\u6E96\u5F62(disjunctive normal form)\u306F\u5426\u5B9A\u6A19\u6E96\u5F62\u306E\u6027\u8CEA\u3092\u6E80\u305F\u3057\u3066\u3044\u308B\u3002\u4EFB\u610F\u306E\u5426\u5B9A\u6A19\u6E96\u5F62\u306E\u8AD6\u7406\u5F0F\u306F\u3001\u8AD6\u7406\u5F0F\u306E\u7D50\u5408\u6CD5\u5247\u3068\u5206\u914D\u6CD5\u5247\u306B\u3088\u308B\u64CD\u4F5C\u306B\u3088\u3063\u3066\u3001\u8AD6\u7406\u7684\u306B\u7B49\u4FA1\u306A\u9023\u8A00\u6A19\u6E96\u5F62\u3084\u9078\u8A00\u6A19\u6E96\u5F62\u306B\u5909\u5F62\u3059\u308B\u3053\u3068\u304C\u3067\u304D\u308B\u3002"@ja .
@prefix xsd: .
dbo:wikiPageLength "958"^^xsd:nonNegativeInteger .
@prefix prov: .
prov:wasDerivedFrom .
dbo:wikiPageWikiLink .
@prefix dbpedia-wikidata: .
dbpedia-wikidata:Q1640479 owl:sameAs .
@prefix rdf: .
rdf:type foaf:Document ;
foaf:primaryTopic .
foaf:primaryTopic .