@article{oai:toyama.repo.nii.ac.jp:00004225,
 author = {松田, 秀雄 and 本庄, 邦幸 and 宮腰, 隆},
 journal = {富山大学工学部紀要},
 month = {Mar},
 note = {In this paper it is shown that, if any prime implicant on cover tables is represented by its "specified prime number" on the digital computer, a solution to a minimal cover problem can be very simply determined in a numerical procedure.
The algorithm is suitable for the computer program, and it is efficient for the computing time in comparison with the other known procedures.
In our computer, this technique is applied to logical functions of less than six variables., 論理設計を行なう場合，まず与えられた関数のプライムインプリカントを導出し，次いでこれらのプライムインプリカントの中から，関数を実現する最小被覆を求める，といった2つのステップが必要である。プライムインプリカントの計算機による導出法として，筆者らはすでに関数変換法，及び縮小カルノー図法の2つの方法を考案している。
最小被覆問題の解法としては，0-1計画法や擬似ブール計画法が一般に知られているが，ここでは，プライムインプリカントを計算機上素数で表現することにより，最小被覆を求める方法について述べる。この方法は着想が簡単で，数式処理で行なえるのでプログラムが容易になり，5～6変数までの論理関数なら，最小被覆が非常に早く求まるという特長がある。, Article, 富山大学工学部紀要，30},
 pages = {1--7},
 title = {最小被覆問題の素数表現による解法},
 volume = {30},
 year = {1979}
}