英语翻译谁能帮我翻译一下,非常感激本文旨在用数据结构中堆栈和二叉树的知识,实现离散数学中的命题逻辑演算公式在不同的真值指

英语翻译
谁能帮我翻译一下,非常感激
本文旨在用数据结构中堆栈和二叉树的知识,实现离散数学中的命题逻辑演算公式在不同的真值指派下真值情况.
本文先整体规划、重点分析,使用程序流程图以实现不盲目准备知识,增强了其可读性；接着使用谓词逻辑符号化命题逻辑,不仅保证了命题演算公式的预备知识完整性,而且真实的再现和丰富了其趣味性；然后介绍数据结构中的堆栈和二叉树知识,重点突出,为其算法实现提供了有力的工具；最后在表达式中括号的匹配和表达式计算基础上,巧妙实现主函数的过度,保证了其紧凑性.
本文还通过介绍了Visual C++环境下实现C程序的方法,说明算法的正确性；通过人机对话的方式实现了算法的健壮性,为避免用户输入的不规范和机器演算的正确性,先后测试表达括号匹配、将中缀表达式转化成机器能识别的后缀表达式、运用堆栈存在二叉树中、依照逻辑运算规则实现命题演算公式的真值指派和真值判断测试；通过算法的时间和空间复杂分析,实现程序的高效性.
最后本文在实现等价式、重言式、矛盾式等问题时,为避免频繁的输入和输入对主函数的部分进行了改进.

This paper aims to use data structures stack and the binary tree's knowledge and realizing the discrete mathematic calculation formula in different proposition logic under the true value assigned the true value.
This paper first overall planning, key analysis program flowchart, use to achieve not blind prepare knowledge, and to enhance its readability; Then use predicate logic, not only ensure symbolic proposition logic propositions calculus formula preparation, and true knowledge integrity reappearing and enriched its interesting; Then introduces the data structure stack and the binary tree knowledge, highlight, for its algorithm provides a powerful tool; Finally in parentheses in the expression of matching and expression computing foundation, the ingenious realize the main () function is excessive, ensure the compact.
This paper also introduces the Visual C + + environment, the method of realizing C program that the correctness of the algorithm; Through the man-machine dialogue means to realize the algorithm's robustness, to avoid user input is not standard and the correctness of the machines render, successively test express parentheses matching, will midfix expression into machine can identify suffixes expressions, using the stack exist binary tree in accordance with logic operation rules, realized the true value proposition calculus formula assign and true value judgment test; Through the algorithm of time and space are complex analysis, realize the program's efficiency.
Finally, this paper in the realization of the equivalent type, such as type tautology type, contradictions, to avoid frequent input and input to the main () function improved the part.