设格(A,≤)所诱导的代数系统为〈A，∨，∧〉，则对任意a，b，c，d∈A，∨、∧运算必满足（）。