Phân phối cách

Thiết$(L,\vee,\wedge )$Là một cáiCách,Nếu đối với tùy ý$a,b,c\in L$Có

$a\wedge (b\vee c)=(a\wedge b)\vee (a\wedge c)$

$a\vee (b\wedge c)=(a\vee b)\wedge (a\vee c)$

Tắc xưng$L$VìPhân phối cách.

Kể trên hai cái đẳng thức lẫn nhau vì đối ngẫu thức, căn cứCáchĐối ngẫu nguyên lý, ở chứng minh một cái cách là phân phối cách khi chỉ cần chứng minh trong đó tùy ý một cái đẳng thức là được.

Thiết$(L,\vee,\wedge )$Là một cáiCách,$L$Vì phân phối cách đương thả chỉ đương đối với tùy ý$a,b,c\in L$,Nếu$a\vee b=a\vee c$Thả$a\wedge b=a\wedge c$,Tắc$b=c$.

Tham kiến

• Cách
• Có bổ cách
• Có giới cách
• Đại số Boolean
• Phân phối thượng nửa cách