Abstract: The function of the eigenvector of the subset, the characteristic function of the eigenvector of the subset, and the characteristic function of the subset of the set are defined. The definition of characteristic matrix of power set is given, and its properties are reserched. 2 kinds of formal algorithm for generating characteristic matrix of power set——Modulo 2 and Toss about Evaluation are given. The complexities of the algorithms are analyzed. Finally, the characteristic matrix of power set is used for generating the power set and the propositional formula true value table. The result shows that the algorithms are reasonable and efficient.

Key words: Modulo 2, power set, Toss about Evaluation, characteristic matrix, true value table