【正确答案】(必要性)若格(A，≤)是模格，则对任意的a，b，c∈A，有a∨(b∧(c∨a))=(a∨b)∧(c∨a)．事实上，a≤(c∨a)，由模格的定义有
   a∨(b∧(c∨a))=(c∨a)∧(a∨b)=(a∨b)∧(c∨a)．
   因此必要性得证．
   (充分性)若对任意的a，b，c∈A，有
   a∨(b∧(c∨a))=(a∨b)∧(c∨a)，
   则格(A，≤)是模格．
   事实上，对任意的x，y，z∈A，且x≤y，有
   x∨(y∧z)=x∨(z∧(x∨y))=(x∨z)∧(x∨y)=(x∨z)∧y=y∧(x∨z)．
   因此充分性得证．