記号処理にもとづくブール関数の数式処理システム(BALOC-3)

概要

論文の詳細を見る
We have developed the Formula Manipulation System for Boolean Functions(BALOC-3). This system is different from the existing formula manipulation systems which are usually intended to process polynomials, rational functions or analytical functions. This system is based upon the Symbol Manipulation System(COSMOS-2) developed by us, and makes use of the facility of virtual symbol strings embedded in COSMOS-2 for the representation of Boolean functions. This is the essential difference between this system and BALOC-2 system developed before by us for the same object. According to this fact, this system obtains the important advantages such as applicability of the Boolean laws and easy internal-to-external transformation of Boolean representations as the trade-off of effciency.
一般社団法人情報処理学会の論文
1973-01-15