那么以上三条语句在逻辑上是等价的。
环的分配律.分配律在环和分配格中很常见。一个环有两个二元运算（通常称为formula_2和formula_1），其中一个要求是formula_1必须对formula_2满足分配律。格是另外一种具有两个二元运算formula_25和formula_26的代数结构。如果这两个运算中的任何一个（例如formula_25）对另外一个（formula_26）满足分配律，则formula_26对formula_25也一定满足分配律，这时这个格便称