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

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