分配格 设  L      displaystyle Lvee wedge  是一个格若对于任意的 a  b  c  L displaystyle abcin L 有 a   b  c    a  b    a  c  displaystyle awedge bvee cawedge bvee awedge c a   b  c    a  b    a  c  displaystyle avee bwedge cavee bwedge avee c 则称 L displaystyle L 为分配格 上述两个等式互为对偶式根据格的对偶原理在证明一个格是分配格时只需证明其中任意一个等式即可 设  L      displaystyle Lvee wedge  是一个格 L displaystyle L 为分配格当且仅当对于任意的 a  b  c  L displaystyle abcin L 若 a  b  a  c displaystyle avee bavee c 且 a  b  a  c displaystyle awedge bawedge c 则 b  c displaystyle bc