تالار گفتمان مانشت

سلام چه جوری بفهمیم یک شبکه توزیع پذیر هست ؟ اگه ممکنه یکی واسه من توضیح بده .

سلام.
خیلی سادس، اسمش روشه. شبکه ای توزیع پذیر (پخش پذیر) هست که خاصیت توزیع پذیری ۷ بر روی ۸ و بر عکس برای هر ۳ عنصری از شبکه برقرار باشه.
۷ به معنای LUB و ۸ به معنای GLBه.

یعنی:
[tex]\forall a,b,c \epsilon L : a\vee (b \wedge c) = (a \vee b) \wedge (a \vee c) , a\wedge (b \vee c) = (a \wedge b) \vee (a \wedge c)[/tex]

حالا مثلاً یه شبکه بهتون دادن که آیا توزیع پذیر هست یا نه؟ شما باید مجموعه های ۳ عضوی از این شبکه انتخاب کنید و اول [tex]a \vee (b \wedge c)[/tex] و بعد [tex](a \vee b) \wedge (a \vee c)[/tex] رو براش به دست بیارید. جواب این دوتا باید باهم برابر باشن. اگه برای همه مجموعه های ۳ عضوی جواب دو طرف مثل هم بود شبکه هم توزیع پذیره.