设<S，*，○>是包含两个二元运算*，○的代数系统，如果*，○满足（），则称<S，*，○>是布尔格（布尔代数）。

设<S，*，○>是包含两个二元运算*，○的代数系统，如果*，○满足（），则称<S，*，○>是布尔格（布尔代数）。
A.交换律
B.分配律
C.同一律
D.补元律
正确答案：ABCD