選言標準形
選言標準形（せんげんひょうじゅんけい、英: Disjunctive normal form, DNF）は、数理論理学においてブール論理での論理式の標準化（正規化）の一種であり、連言節(AND)の選言(OR)の形式で論理式を表す。 加法標準形、主加法標準形、積和標準形とも呼ぶ。
選言標準形（せんげんひょうじゅんけい、英: Disjunctive normal form, DNF）は、数理論理学においてブール論理での論理式の標準化（正規化）の一種であり、連言節(AND)の選言(OR)の形式で論理式を表す。 加法標準形、主加法標準形、積和標準形とも呼ぶ。
選言標準形（せんげんひょうじゅんけい、英: Disjunctive normal form, DNF）は、数理論理学においてブール論理での論理式の標準化（正規化）の一種であり、連言節(AND)の選言(OR)の形式で論理式を表す。 加法標準形、主加法標準形、積和標準形とも呼ぶ。
出典: Wikipedia「選言標準形」 · CC BY-SA 4.0
この記事を共有: X · Bluesky