问答题 给定布尔代数〈S，⊕，，′，0，1〉，且a，b，c∈S。试证：a≤ca⊕（bc）=（a⊕b）c。

填空题 令F（x）：x为苹果，H（x，y）：x与y完全相同，L（x，y）：x=y。命题“没有完全相同的苹果。”的符号化形式为（）。

问答题 整数集I上的一元运算Δ定义如下： Δ（m）=mt（mod k） 其中r，k为给定正整数．又定义I上的关系～： x～y当且仅当x=y（mod k） 问～是否是代数结构〈I，Δ〉上的同余关系