充足不能な論理式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 充足不能な論理式の意味・解説 

充足不能な論理式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/26 22:53 UTC 版)

DPLLアルゴリズム」の記事における「充足不能な論理式」の解説

論理式 ϕ = ( p ∨ q ∨ ¬ r ) ∧ ( ¬ q ∨ p ) ∧ ( ¬ p ) ∧ ( r ∨ q ) {\displaystyle \phi =(p\vee q\vee \neg r)\wedge (\neg q\vee p)\wedge (\neg p)\wedge (r\vee q)} の充足可能性考える。 アルゴリズムは以下の動きになる。 ( p ∨ q ∨ ¬ r ) ∧ ( ¬ q ∨ p ) ∧ ( ¬ p ) ∧ ( r ∨ q ) {\displaystyle (p\vee q\vee \neg r)\wedge (\neg q\vee p)\wedge (\neg p)\wedge (r\vee q)} リテラル1つだけの節 ( ¬ p {\displaystyle \neg p} ) に1リテラル規則適用する。 ¬ p {\displaystyle \neg p} を真と見なせば p {\displaystyle p} は偽である。 ( q ∨ ¬ r ) ∧ ( ¬ q ) ∧ ( r ∨ q ) {\displaystyle (q\vee \neg r)\wedge (\neg q)\wedge (r\vee q)} 1リテラル規則はさらに ¬ q {\displaystyle \neg q} にも適用できる。 ( ¬ r ) ∧ ( r ) {\displaystyle (\neg r)\wedge (r)} この式は矛盾表し明らかに充足不能である。1リテラル規則を r {\displaystyle r} 、 ¬ r {\displaystyle \neg r} いずれに適用しても空節(リテラル含まない節)が導かれる真偽値どのように割り当てても空節は充足可能にはならず全体論理式充足不能であることが証明できる。 同じ論理式を節集合の形で表現すると以下のようになる。空節を □ で表す。 { { p , q , ¬ r } , { ¬ q , p } , { ¬ p } , { r , q } } {\displaystyle \{\{p,q,\neg r\},\{\neg q,p\},\{\neg p\},\{r,q\}\}} (1リテラル規則, p = 偽) { { q , ¬ r } , { ¬ q } , { r , q } } {\displaystyle \{\{q,\neg r\},\{\neg q\},\{r,q\}\}} (1リテラル規則, q = 偽) { { ¬ r } , { r } } {\displaystyle \{\{\neg r\},\{r\}\}} (1リテラル規則, r = 真) { {\displaystyle \{} □ } {\displaystyle \}} 空節が含まれるため、充足不能であることが証明された。

※この「充足不能な論理式」の解説は、「DPLLアルゴリズム」の解説の一部です。
「充足不能な論理式」を含む「DPLLアルゴリズム」の記事については、「DPLLアルゴリズム」の概要を参照ください。


充足不能な論理式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/08/22 13:10 UTC 版)

デービス・パトナムのアルゴリズム」の記事における「充足不能な論理式」の解説

論理式 ϕ = ( p ∨ q ∨ ¬ r ) ∧ ( ¬ q ∨ p ) ∧ ( ¬ p ) ∧ ( r ∨ q ) {\displaystyle \phi =(p\vee q\vee \neg r)\wedge (\neg q\vee p)\wedge (\neg p)\wedge (r\vee q)} の充足可能性考える。 アルゴリズムは以下の動きになる。 ( p ∨ q ∨ ¬ r ) ∧ ( ¬ q ∨ p ) ∧ ( ¬ p ) ∧ ( r ∨ q ) {\displaystyle (p\vee q\vee \neg r)\wedge (\neg q\vee p)\wedge (\neg p)\wedge (r\vee q)} リテラル1つだけの節 ( ¬ p {\displaystyle \neg p} ) に1リテラル規則適用する。 ¬ p {\displaystyle \neg p} を真と見なせば p {\displaystyle p} は偽である。 ( q ∨ ¬ r ) ∧ ( ¬ q ) ∧ ( r ∨ q ) {\displaystyle (q\vee \neg r)\wedge (\neg q)\wedge (r\vee q)} 1リテラル規則はさらに ¬ q {\displaystyle \neg q} にも適用できる。 ( ¬ r ) ∧ ( r ) {\displaystyle (\neg r)\wedge (r)} この式は矛盾表し明らかに充足不能である。1リテラル規則を r {\displaystyle r} 、 ¬ r {\displaystyle \neg r} いずれに適用しても空節(リテラル含まない節)が導かれる真偽値どのように割り当てても空節は充足可能にはならず全体論理式充足不能であることが証明できる。 同じ論理式を節集合の形で表現すると以下のようになる。空節を □ で表す。 { { p , q , ¬ r } , { ¬ q , p } , { ¬ p } , { r , q } } {\displaystyle \{\{p,q,\neg r\},\{\neg q,p\},\{\neg p\},\{r,q\}\}} (1リテラル規則, p = 偽) { { q , ¬ r } , { ¬ q } , { r , q } } {\displaystyle \{\{q,\neg r\},\{\neg q\},\{r,q\}\}} (1リテラル規則, q = 偽) { { ¬ r } , { r } } {\displaystyle \{\{\neg r\},\{r\}\}} (1リテラル規則, r = 真) {   {\displaystyle \{\ } □ }   {\displaystyle \}\ } 空節が含まれるため、充足不能であることが証明された。

※この「充足不能な論理式」の解説は、「デービス・パトナムのアルゴリズム」の解説の一部です。
「充足不能な論理式」を含む「デービス・パトナムのアルゴリズム」の記事については、「デービス・パトナムのアルゴリズム」の概要を参照ください。

ウィキペディア小見出し辞書の「充足不能な論理式」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「充足不能な論理式」の関連用語

充足不能な論理式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



充足不能な論理式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのDPLLアルゴリズム (改訂履歴)、デービス・パトナムのアルゴリズム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS