Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03601122n
Noun Concept
Categories: 数理論理学, 標準形 (論理), 数学に関する記事
JA
連言標準形  乗法標準形  主乗法標準形  論理積標準形
JA
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。 Wikipedia
Definitions
Relations
Sources
JA
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。 Wikipedia
IS A
EN
canonical normal form
命題論理式
HAS PART
論理積
EN
clause
PART OF
数理論理学
HAS KIND
RU
Совершенная конъюнктивная нормальная форма
STUDIED BY
数理論理学
Wikipedia
JA
連言標準形
Wikidata
JA
連言標準形
OmegaWiki
JA
乗法標準形
Wikipedia Redirections
JA
主乗法標準形, 乗法標準形, 論理積標準形
Wikidata Alias
JA
主乗法標準形, 論理積標準形

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License