Algebraic Manipulation System for Switching Expression

本研究は論理式を数式的に処理するシステムである。微・積分や行列などの数式処理を行うシステムはこれまでにもいくつか存在するが，論理式を取り扱うものはほとんどない。そのため論理式の展開や主項の生成を行うシステムを考えてみた。一般に論理関数を使った処理では，真理値表を求めてから行う場合が多いが，ここでは入力された式に対して数値的な計算を行うのではなく，代数的な方法で処理する。The purpose of this paper is to study an algebraic manipulation system for switching expression. We have some symbolic systems for number manipulation, but few of systems for logic function. Our system expands switching expression in symbolic form and obtains prime implicants instead of using truth table to deal with logic function. Our system expresses arbitrary logical expressions in reverse Polish notation, and converts them into disjunctive forms. Generation of prime implicants by iterated consensus method is implemented. The system is much faster than hand manipulation and gives effective means to study switching algebra