bn:03601105n
Noun Concept
Categories: 標準形 (論理), 数学に関する記事
JA
選言標準形  加法標準形  主加法標準形  論理和標準形
JA
選言標準形(せんげんひょうじゅんけい、英: Disjunctive normal form, DNF)は、数理論理学においてブール論理での論理式の標準化(正規化)の一種であり、連言節の選言の形式で論理式を表す。 Wikipedia
Definitions
Relations
Sources
JA
選言標準形(せんげんひょうじゅんけい、英: Disjunctive normal form, DNF)は、数理論理学においてブール論理での論理式の標準化(正規化)の一種であり、連言節の選言の形式で論理式を表す。 Wikipedia
Wikipedia
Wikidata
OmegaWiki
Wikipedia Redirections
Wikidata Alias
Wikipedia Translations