翻訳と辞書
Words near each other
・ 論理積の導入
・ 論理積の消去
・ 論理積回路
・ 論理積標準形
・ 論理素子
・ 論理経験主義
・ 論理結合子
・ 論理記号
・ 論理診断
・ 論理誤謬
論理関数
・ 論理障害
・ 論田小学校
・ 論田川
・ 論田川 (岐阜県)
・ 論田町
・ 論疏部 (大正蔵)
・ 論破
・ 論社
・ 論究


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

論理関数 : ウィキペディア日本語版
ブール関数[ぶーるかんすう]
ブール関数(ブールかんすう、Boolean Function)とは、数学において、非負整数 ''k'' 個のブール領域 B = \ の引数からブール領域の値を得る関数 f : B''k''B を指す。''k'' = 0 であるような場合、この関数は単に定数要素 B を表す。
ブール関数は他の数理科学分野では別の名前で知られていることも多い。たとえば協力ゲーム理論で「シンプルゲーム」(投票ゲーム) とよばれる概念がそれに該当し、社会選択理論の重要な問題を解くために応用されている。
ブール関数を一般化すると、''f'' : ''X'' → B という形式の関数において、''X'' が任意の集合である場合を「ブール値関数」と呼ぶ。''X'' = M = であるとき、''f'' は無限の「二値数列; binary sequence」すなわち 0 と 1 の無限である。''X'' = = であるとき、''f'' は長さ ''k'' の二値数列である。そのような関数は 2^ 個存在する。これは計算複雑性理論における問題で基本的な役割を果たす他、デジタルコンピュータ論理回路の設計でも利用される。ブール関数の特徴は暗号理論においても重要であり、特に共通鍵暗号の設計で重要である。


==リード-マラー標準形==
ブール関数は積(AND)の総和(XOR)で一意に記述できる。これを リード-マラー標準形と呼ぶ。

ここで a_0, a_1, \ldots, a_ \in \^
* である。
従って、列 a_0,a_1,\ldots,a_ の値の列もブール関数を一意に表している。ブール関数の代数的次数は、1つの(AND)項に現われる x_i の個数で表される。つまり、f(x_1,x_2,x_3) = x_1 + x_3 の次数は 1(線形)であり、f(x_1,x_2,x_3) = x_1 + x_1x_2x_3 の次数は 3(立方)である。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ブール関数」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Boolean function 」があります。



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.