This paper gives four algorithms to calculate the basic truth value matrix of propositional formulae containing m variables,which sets a core foundation for using a computer to solve the propositional logic decision problems.

The inverse problems of linear equations Ax=b in the classes of invertible matrix,orthogonal matrix,simple matrix,circular matrix and counter circular matrix are discussed in this paper.

One sufficient and necessary conditions of scalar matrix;

Study on the relationship of purematrix and homothetic transformation;