|
|
صفحة: 189
1 מייצג את הערך הלוגי . TRUE 0 מייצג את הערך הלוגי . FALSE / i [ a , b ] = 1 כלומר קיימת קשת ( מסלול באורך ( 1 0-מ ל-ל . / , c ] 1 כלומר קיימת קשת ( מסלול באורך x- ^ b-n ( 1 = ^[ a נתבונן כעת בביטוי הזה : . A / a , b ] and A [ b , c ] לביטוי ערך ( TRUE ) 1 אם ורק אס A [ b , 0 ] -ל ערך ( TRUE ) 1 וגם A / a , by ? ערך . ( TRUE ) 1 כלומר , קיימת קשת < 2-מ ל-ל 2 וגם קיימת קשת b-n ., " -ל a ~^ bAb—^— > c כלומר , לביטוי A [ a , 6 ] andA [ b , c ] ערך ( TRUE ) 1 אם ורק אם קייס מסלול באורך 2 מהקדקוד a לקדקוד c העובר דרך הקדקוד . b באופן כללי , ניתן לה 0 יק שלביטוי A [ x , y ] and A [ y , z ] ערך ( TRUE ) 1 אם ורק אם קיים מסלול באורך 2 בדיוק מהקדקוד * לקדקוד z העובר דרך הקדקוד . / עתה נתבונן בביטוי הזה : ( A / a , b ] andA [ Z 7 , e ]) OR ( A / a , c ] and A [ c , e \) OR ( A [ a , d ] and A [ d , e ]) ביטוי זה שקול -ל( 1 and 1 ) OR ( 0 and l ) OR ( land 0 ) = 1 מתוך הביטוי קל לראות כי : קיים מסלול באורך 2 מהקדקוד a לקדקוד , e השבר דרך הקדקוד . b
|
|