ブール加法形式の不変量について
Bibliographic Information
- Other Title
-
- On Invariants of Boolean Disjunctive form
Search this article
Abstract
2値論理関数は,通常ブール式(論理式)で表現されており,プール式は一般に加法形式に展開されて使用される場合が多い。ブール加法形式の数を求める良いアルゴリズムは,今のところ知られていない。本論文は,文献[1]で与えた数え上げに有効な同値類の,省略されていた不変量の証明を示す。ブール加法形式の数のみを問題にする場合,この不変量により2値論理関数のNP同値類より類の数が少ないNP同値類で数え上げることが出来る。
Journal
-
- 全国大会講演論文集
-
全国大会講演論文集 第45回 (基礎理論及び基礎技術), 79-80, 1992-09-28
- Tweet
Details 詳細情報について
-
- CRID
- 1050292572152377728
-
- NII Article ID
- 110002889106
-
- NII Book ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00122014/
-
- Text Lang
- ja
-
- Article Type
- conference paper
-
- Data Source
-
- IRDB
- CiNii Articles