According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.

根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。

youdao

According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.

根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。

youdao