Generating Algorithms of Basic Truth Value Matrix

• 命题逻辑判定系统中基本真值矩阵的生成算法