This research paper of proposition logic algebra in the said, on the basis of the solution of equations by polynomial, propositional formula for equivalent conversion and deductive reasoning.
在对命题逻辑代数化表示的基础上，通过解多项式方程组，对命题公式进行等价转换、演绎推理。
The conversion relation between different guns is obtained on the basis above and through improving the basic formula to calculate the firing efficiency of the gun.
在此基础上，通过改造计算火炮射击效能的基本公式，得出了不同火炮间的换算关系。
应用推荐