negation normal formとは意味・読み方・使い方

ピン留め

追加できません

(登録数上限)

単語を追加

意味・対訳否定標準形（ひていひょうじゅんけい、英: negation normal form、NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、他には選言記号 ∨ {\displaystyle \lor } と連言記号 ∧ {\displaystyle \land } のみが論理記号として用いられる形の論理式を指す。

Weblio英和対訳辞書での「negation normal form」の意味

Negation normal form

否定標準形

否定標準形（ひていひょうじゅんけい、英: negation normal form, NNF）とは、否定記号 ¬ {\displaystyle \lnot } が原子論理式のみにかかり、他には選言記号 ∨ {\displaystyle \lor } と連言記号 ∧ {\displaystyle \land } のみが論理記号として用いられる形の論理式を指す。

Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

出典元索引ランキング

ウィキペディア英語版での「negation normal form」の意味

Negation normal form

出典:『Wikipedia』 (2011/03/11 22:21 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

A logical formula is in negation normal form if negation occurs only immediately above elementary propositions, and {

} are the only allowed Boolean connectives. In classical logic each formula can be brought into this form by replacing implications and equivalences by their definitions, using De Morgan's laws to push negation inside, and eliminating double negations. This process can be represented using the following rewrite rules:

出典元索引ランキング

「negation normal form」の意味に関連した用語

Binary decision diagram

(百科事典)

double

nemo

must

will

意味

negation normal formのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。

Wikipedia

Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのNegation normal form (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

negation normal formとは 意味・読み方・使い方

Weblio英和対訳辞書での「negation normal form」の意味

Negation normal form

ウィキペディア英語版での「negation normal form」の意味

Negation normal form

「negation normal form」のお隣キーワード

negation normal formとは意味・読み方・使い方