2024-03-28T17:11:23Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001218832023-11-17T02:17:36Z06504:08020:08022
ブール加法形式の不変量についてOn Invariants of Boolean Disjunctive formjpnhttp://id.nii.ac.jp/1001/00122014/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=121883&item_no=1&attribute_id=1&file_no=1神奈川工科大学明治大学明治大学神奈川工科大学巽, 久行荒木, 智行向殿, 政男木澤, 誠2値論理関数は,通常ブール式(論理式)で表現されており,プール式は一般に加法形式に展開されて使用される場合が多い。ブール加法形式の数を求める良いアルゴリズムは,今のところ知られていない。本論文は,文献[1]で与えた数え上げに有効な同値類の,省略されていた不変量の証明を示す。ブール加法形式の数のみを問題にする場合,この不変量により2値論理関数のNP同値類より類の数が少ないNP同値類で数え上げることが出来る。AN00349328全国大会講演論文集第45回基礎理論及び基礎技術79801992-09-282015-01-20