rilpoint_mw113


分配律

[编辑] 分配律的定義

設 * 及 + 是定义在集合 S上的兩個二元運算,我們說

  • * 对于 + 满足左分配律,如果:
∀ x,y,z ∈ S, x * (y+z) = (x*y) + (x*z);
  • * 对于 + 满足右分配律,如果:
∀ x,y,z ∈ S, (y+z) * x = (y*x) + (z*x);
  • 如果 * 对于 + 同時满足左分配律和右分配律,那么我們說 * 对于 + 满足分配律。

如果 * 满足交换律,那么以上三条语句在邏輯上是等价的。

[编辑] 參考