ブール代数の定義の標準形式と標準形式. サミット 三重 県. ジャノメ チョウ. 中 本 幸一.