09.1二元运算及其性质 豪 口运算*对⊙是可分配的:⊙和*为S上的二元运 算,对于任意的x,y,z∈S都有 x*(y⊙z)=(x*y)⊙(x*z)(左分配律 (yoz)*x=(y*x)⊙(z*x)(右分配律) 令*对⊙是满足分配律 口例 令实数上的乘法对加法是可分配的 令集合上的交对并是可分配的 逻辑公式上的合取对析取是可分配的 1414 9.1 二元运算及其性质 ❑运算*对⊙是可分配的：⊙和*为S上的二元运 算，对于任意的x，y，z∈S都有 x*(y⊙z)=(x*y)⊙(x*z) （左分配律） (y⊙z)*x=(y*x)⊙(z*x) （右分配律） ❖*对⊙是满足分配律 ❑例 ❖实数上的乘法对加法是可分配的 ❖集合上的交对并是可分配的 ❖逻辑公式上的合取对析取是可分配的