著者

松田 秀雄 宮腰 隆

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.33, no.4, pp.560-569, 1992-04-15

被引用文献数

1

---

論理式を分離加法形式で表現すると 一般の加法形式に比べ項の数が増えるが 式に含まれる最小項の数が算出できるので トートロジィや論理式同士の包含関係の判定が容易となり また 文理値表濃度対関数の諸性質を調べるのに好都合であるほかにも 項の分離性を使ったPLAの検査容易化設計法への応用なども考えられ 重要な表現形式である本論文では分離加法形式を求める一手法(MA法と略)を提案し はじめに他の木形アルゴリズムであるCHANの方法(DT法)および笹尾の方法(SAS法)と比較している最小項で生成した二値入カニ値関数(12変数)の場合 DT法によって求めた分離加法形式の項数を基準にして SAS法で求めた結果では18%も増加し MA法では12%も項数の少ない分離加法形式が得られるMA法ではこのように精度が良い反面 SAS法 DT法に比べ数倍計算時間がかかるしかし これは関数の項数が多いからであって 数百個以下に限定するなら 多変数で MA法のほうがDT法より早くなるこの点に注目すると DT法 SAS法とMA法とを組み合わせて 計算速度をあまり落とさずに 精度を高める手法が考えられる次にこれらのDT-MA法 SAS-MA法の検討結果が与えられるさらに 四値入力二値関数のいくつかの計算例で 特に DT-MA法が多変数のとき 精度 計算時間両面からみて 優れていることを示す相当多変数の関数の真理値表濃度も計算できることが併せて示してある