RV 45 40 45 40 0 RV 45 40 15 20 0 RV 145 40 115 20 0 RV 115 65 145 85 0 LI 45 25 115 25 0 FCJ 2 0 3 1 0 0 LI 115 35 45 35 0 FCJ 2 0 3 1 1 0 TY 77 20 3 2 0 0 0 * implica TY 53 31 3 2 0 0 0 * se il sistema e' osservabile LI 25 40 25 80 0 FCJ 1 0 3 2 1 0 LI 35 70 115 70 0 FCJ 2 0 3 2 0 0 TY 70 65 3 2 0 0 0 * implica LI 25 80 115 80 0 FCJ 0 0 3 2 1 0 LI 35 40 35 70 0 TY 25 76 3 2 0 0 0 * se il sistema e' raggiungibile ed osservabile LI 125 65 125 65 0 LI 125 65 125 40 0 LI 135 65 135 40 0 FCJ 2 0 3 1 1 0 TY 138 51 3 2 0 0 0 * se il sistema e' raggiungibile TY 107 50 3 2 0 0 0 * implica TY 25 28 3 2 0 0 0 * ( 1 ) TY 125 28 3 2 0 0 0 * ( 2 ) TY 125 73 3 2 0 0 0 * ( 3 )