第十五格与布尔代数演示文稿.ppt

定义设L,≤是格，对任意的a,b,c?L，有①a?(b?c)=(a?b)?(a?c)②(a?b)?(a?c)=a?(b?c)则称L,≤为分配格，称①和②为格中分配律。第31页，共50页。分配格的性质性质1：如果①交对并可分配，则②并对交也一定是可分配的，反之亦然。只证前半部分，即由①推②：(a?b)?(a?c)＝((a?b)?a)?((a?b)?c)（由①）＝(a?a)?(a?b)?(c?a)?(c?b)（由①,交换律）＝a?(a?b)?(a?c)?(b?c)＝a?(b?c)（吸收律）注：此性质说明，分配格的定义可以简化成只需满足①或②其中之一即可。第32页，