イグチ　ユキヒロ   Iguchi Yukihiro   井口　幸洋    所属   明治大学  理工学部    職種   専任教授
発表年月日	1992/02/24
発表テーマ	二分決定グラフを用いた不確定入力に対する論理関数の評価アルゴリズム
会議名	第４４回全国大会
主催者	情報処理学会
発表形式	口頭（一般）
単独共同区分	共同
発表者・共同発表者	井口幸洋，向殿政男
概要	ある、n変数の2値論理関数fに対して入力変数のうち幾つかはOまたは1に確定しているが、残りの幾つかの値は不確定、即ち、Oか1か不明であることがある。この様な不確定な入力を含む場合の論理関数の値の定め方と、論理関数が2段のAND-OR論理式によって表現されている時、その値を求めるアルゴリズムについては既に報告されている。一方、AkersやBryantらによって提案されている二分決定グラフを用いた論理関数の表現方法が実際の大規模な論理回路の表現方法として有望視されている。本報告では論理関数の表現方法に二分決定グラフを用いることで、不確定入力に対する論理関数の評価を高速に行うアルゴリズムを提案する。