ブール加法形式の不変量について

書誌事項

タイトル別名
  • On Invariants of Boolean Disjunctive form

この論文をさがす

抄録

2値論理関数は,通常ブール式(論理式)で表現されており,プール式は一般に加法形式に展開されて使用される場合が多い。ブール加法形式の数を求める良いアルゴリズムは,今のところ知られていない。本論文は,文献[1]で与えた数え上げに有効な同値類の,省略されていた不変量の証明を示す。ブール加法形式の数のみを問題にする場合,この不変量により2値論理関数のNP同値類より類の数が少ないNP同値類で数え上げることが出来る。

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ